theorem Th42: :: JGRAPH_4:42

for sn being Real
for q being Point of (TOP-REAL 2) st sn < 1 & q `1 < 0 & (q `2) / |.q.| >= sn holds
for p being Point of (TOP-REAL 2) st p = (sn -FanMorphW) . q holds
( p `1 < 0 & p `2 >= 0 )