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