theorem :: JGRAPH_4:74

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