theorem Th66: :: JGRAPH_4:66

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