theorem Th39: :: JGRAPH_4:39

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