theorem :: GOBRD14:18

for f being constant standard special_circular_sequence
for p being Point of (TOP-REAL 2) holds
( p in RightComp f iff ( not p in L~ f & not p in LeftComp f ) ) by Th16, Th17;