theorem :: TOPGEN_5:47

not Niemytzki-plane is normal