q 2 be a valid translation. Let's assume that p 1 ̸ = 0 and q 1 ≥ q 2 (the opposite reasonning can be done in the other case). Let k ∈ and k ′ ∈ be Bézout coefficients for p 1 and q 1 , i.e. such that kp