theorem Th24: :: SPRECT_3:24

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