Es ist zu zeigen, dass M ∖ { P } {\displaystyle {}M\setminus \{P\}} offen ist. Es sei dazu Q ∈ M ∖ { P } {\displaystyle {}Q\in M\setminus \{P\}} , also Q ≠ P {\displaystyle {}Q\neq P} . Dann ist
und somit ist