Added an explicit induction hypothesis.