The step in a Simple Induction proof that is assumed and used after the base case to prove induction steps.