theorem :: TOPREAL6:50

for e being Point of (Euclid 2)
for D being non empty Subset of (TOP-REAL 2)
for r being Real st D = Ball (e,r) holds
not D is vertical