theorem Th47: :: TOPREAL9:49

for a, b, r being Real
for x being Point of (Euclid 2) st x = |[a,b]| holds
Sphere (x,r) = circle (a,b,r)