theorem Th17: :: GOBRD14:17

for f being V8() standard special_circular_sequence
for p being Point of (TOP-REAL 2) holds
( p in LeftComp f iff ( not p in L~ f & not p in RightComp f ) )