Proof a basic case;

An inductive hypothsis is assumed;

1. The theorem is assumed to be true for all cases up to some limit k;

2. Then the theorem is shown to be true for the next value, which typically k + 1;