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).
Μετά από κάθε βήμα "k" του Ευκλείδειου αλγόριθμου, η τιμή του υπολοίπου f(rk) είναι μικρότερη από την τιμή του προηγούμενου υπολοίπου, f(rk−1).