theorem Th55: :: SPRECT_2:55

for f being constant standard special_circular_sequence holds (S-min (L~ f)) `1 < (S-max (L~ f)) `1