theorem Th68: :: SPRECT_2:68

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