theorem Th24: :: SPRECT_3:24

for f being V22() standard special_circular_sequence holds
( LeftComp f is open & RightComp f is open )