At the end of the loop iteration, the variable b holds the remainder rk, whereas the variable a holds its predecessor, rk−1.
Dǎɣ samando ən asimusuɣil wan tisifil, təbidaw ƭ ən b tataf awadiqiman rk, mašan tamotayt tan a tataf way han edag, rk-1.