theorem Th35: :: JGRAPH_4:35

for sn being Real
for x, K0 being set st - 1 < sn & sn < 1 & x in K0 & K0 = { p where p is Point of (TOP-REAL 2) : ( p `1 >= 0 & p <> 0. (TOP-REAL 2) ) } holds
(sn -FanMorphW) . x in K0