Solution Must Have:

Claim - Claim is a predicate with quantifiers which has a truth value, identified separately from statement - Claim covers all values of n for which the statement is true Base Case - Smallest value of n used in base case - Statement proved for smallest value of n Inductive Step - Inductive Hypothesis defined and clearly labelled - IH is applied correctly, and identified when applied. - Inductive step is convincing to the reader, shows steps one at a time, and never assumes S(k+1) to be true before proven - No algebraic or arithmetic mistakes in inductive step