theorem Th133: :: JGRAPH_4:133

for cn being Real st - 1 < cn & cn < 1 holds
cn -FanMorphS is one-to-one