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