theorem Th99: :: JGRAPH_4:99

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 -FanMorphE) . x in K0