theorem Th102: :: JGRAPH_4:102

for sn being Real st - 1 < sn & sn < 1 holds
sn -FanMorphE is one-to-one