theorem Th71: :: JGRAPH_4:71

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