theorem Th101: :: JGRAPH_4:101
for sn being Real st - 1 < sn & sn < 1 holds
ex h being Function of (TOP-REAL 2),(TOP-REAL 2) st
( h = sn -FanMorphE & h is continuous )