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