r_1=r_2v_3+r_3,                 0\le r_3<r_2