for f being V8() standard special_circular_sequence
for P being Subset of ((TOP-REAL 2) | ((L~ f) `)) holds
( not P is a_component or P = RightComp f or P = LeftComp f )