theorem :: JGRAPH_4:105

for sn being Real st - 1 < sn & sn < 1 holds
ex f being Function of (TOP-REAL 2),(TOP-REAL 2) st
( f = sn -FanMorphE & f is being_homeomorphism )