Closed graph theorem