The substitution calculation is then
Thus,