theorem Th33: :: TOPGEN_5:33

for A being Subset of Niemytzki-plane st A = y>=0-plane \ y=0-line holds
for x being set holds Cl (A \ {x}) = [#] Niemytzki-plane