 "r""N"−1 also divides its next predecessor "r""N"−3

because it divides both terms on the right-hand side of the equation.Iterating the same argument, "r""N"−1 divides all the preceding remainders, including "a" and "b".None of the preceding remainders "r""N"−2, "r""N"−3, etc.