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