theorem :: TOPGEN_5:46

Niemytzki-plane is T_1