theorem Th29: :: SPRECT_5:29

for f being constant standard special_circular_sequence st f /. 1 = S-max (L~ f) holds
(S-max (L~ f)) .. f < (S-min (L~ f)) .. f