:formula_4وبالتالي, وبالتعويض المتتابع لـ formula_5 في التعبير,: formula_6قيم formula_7 لأجل formula_8.
To accomplish this, we define a new sequence of constants as follows::formula_5Then formula_6 is the value of formula_7.