Consider the first induction step.