theorem Th103: :: JGRAPH_4:103

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