theorem Th40: :: JGRAPH_4:40

for sn being Real
for p2 being Point of (TOP-REAL 2) st - 1 < sn & sn < 1 holds
ex K being non empty compact Subset of (TOP-REAL 2) st
( K = (sn -FanMorphW) .: K & ex V2 being Subset of (TOP-REAL 2) st
( p2 in V2 & V2 is open & V2 c= K & (sn -FanMorphW) . p2 in V2 ) )