One example invoking induction hypothesis.