theorem Th82: :: TOPGEN_5:82

Niemytzki-plane is T_1