theorem Th33: :: JGRAPH_4:33

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