Assume that the recursion formula is correct up to step k − 1 of the algorithm; in other words, assume that rj = sj a + tj b for all j less than k.
Se presupune că formula recursivă este corectă până la pasul k−1 al algoritmului, cu alte cuvinte, se presupune că rj = sj a + tj b pentru orice j mai mic decât k.