1

Basis, is true

Inductive hypothesis, assume

By the principle of M.I., for all non-negative integers