theorem Th35: :: TOPGEN_5:35

for A being Subset of Niemytzki-plane st A = y=0-line holds
( Cl A = A & Int A = {} )