Solving recurrence relations: substitution