Euclidean mutual division method

R4 = R2 - R3 Q4

      = R2 - (R1 -R2 Q3) Q4

      = R2(1 + Q3 Q4) - R1 Q4

      = R2 t + R1 s                 (s≡-Q4,  t≡1+Q3Q4)

      = (B - R1 Q2) t + R1 s

      = B t + R1 (s - t Q2)    

      = B t + R1 u                   (u≡s - t Q2)

      = B t + (A - B Q1)u

      = B(t - u Q1) + A u