Closed graph theorem

Linear operator T:X->Y between Banach spaces is bounded iff its graph is closed in XxY; equivalent to open-mapping + Hahn-Banach.