for o, p being Point of (TOP-REAL 2)
for r being positive Real st p in Ball (o,r) holds
RotateCircle (o,r,p) is continuous