theorem Th56: :: SPRECT_2:56

for f being constant standard special_circular_sequence holds S-min (L~ f) <> S-max (L~ f)