for n being Nat
for p being Point of (TOP-REAL n) st p <> 0. (TOP-REAL n) holds
|.(p (/) |.p.|).| = 1