theorem Th130: :: JGRAPH_4:130

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