theorem :: SPRECT_2:54

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