Thus, rk is smaller than its predecessor rk−1 for all k ≥ 0.
Έτσι, το rk είναι μικρότερο από το προηγούμενο του r rk−1 για όλα τα k ≥ 0.