theorem :: TOPGEN_5:83

Niemytzki-plane is Tychonoff