for x, y being Real
for r being positive Real st r <= y holds
Ball (|[x,y]|,r) is open Subset of Niemytzki-plane