Let , Banach Space, a bijection. Then is an isomorphism (ie is continuous) Proof is surjective So Open Mapping Theorem gives is open. So is continuous. Corollary The Closed Graph Theorem