theorem Th37: :: SPRECT_5:37

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