for n being Nat
for p being Point of (TOP-REAL n)
for r being Real
for f being additive homogeneous rotation Function of (TOP-REAL n),(TOP-REAL n) st f is onto holds
( f .: (Ball (p,r)) = Ball ((f . p),r) & f .: (cl_Ball (p,r)) = cl_Ball ((f . p),r) & f .: (Sphere (p,r)) = Sphere ((f . p),r) )