theorem Th57: :: SPRECT_2:57

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