 Now to prove the Lemma on Successors by induction, we need to reconfigure this Lemma to a form which can be used as the consequent of the Principle of Mathematical Induction; i.e., we need something of the form \(\forall n\, Fn\). We can get the Lemma on Successors into this form by ‘abstracting out’ a concept from the Lemma using the right-to-left direction of \(\lambda\)-Conversion (i.e., \(\lambda\)-Abstraction) to produce the following equivalent statement of the Lemma: