for f being V22() standard special_circular_sequence holds i_w_n f < i_e_n f