theorem Th26: :: TOPGEN_5:26

y=0-line is closed Subset of Niemytzki-plane