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