theorem Th31: :: TOPGEN_5:31

for x, y being Real
for r being positive Real ex w, v being Rational st
( |[w,v]| in Ball (|[x,y]|,r) & |[w,v]| <> |[x,y]| )