Garnir–Wright Closed Graph Theorem
   HOME