theorem Th41: :: TOPGEN_5:41

for A being Subset of Niemytzki-plane st A = y=0-line holds
Der A is empty