theorem Th42: :: TOPGEN_5:42

for A being Subset of y=0-line holds A is closed Subset of Niemytzki-plane