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