for cn being Real
for p being Point of (TOP-REAL 2) holds |.((cn -FanMorphS) . p).| = |.p.|