theorem Th25: :: SPRECT_3:25

for f being V22() standard special_circular_sequence holds RightComp f misses L~ f