After each step k of the Euclidean algorithm, the norm of the remainder f(rk) is smaller than the norm of the preceding remainder, f(rk−1).
După fiecare pas k al algoritmului lui Euclid, norma restului f(rk) este mai mică decât norma restului precedent, f(rk−1).