Equation 9.4 (from 9.3) - Recursive subsitution