Text this: The closed graph theorem for multilinear mappings