theorem Th27: :: TOPGEN_5:27

for x being Real
for r being positive Real holds (Ball (|[x,r]|,r)) \/ {|[x,0]|} is open Subset of Niemytzki-plane