theorem Th34: :: TOPGEN_5:34

for A being Subset of Niemytzki-plane st A = y>=0-plane \ y=0-line holds
Cl A = [#] Niemytzki-plane