Since the algorithm ensures that the remainders decrease steadily with every step, rk−1 is less than its predecessor rk−2.
Δεδομένου ότι ο αλγόριθμος εξασφαλίζει ότι τα υπόλοιπα μειώνονται σταδιακά σε κάθε βήμα, το rk−1 είναι μικρότερο από το προηγούμενο του rk−2 .