theorem :: JGRAPH_4:136

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