theorem Th72: :: JGRAPH_4:72

for cn being Real st - 1 < cn & cn < 1 holds
( cn -FanMorphN is Function of (TOP-REAL 2),(TOP-REAL 2) & rng (cn -FanMorphN) = the carrier of (TOP-REAL 2) )