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