theorem :: TOPGEN_5:45

Niemytzki-plane is separable