theorem Th134: :: JGRAPH_4:134

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