theorem Th51: :: SPRECT_2:51

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