Identify the statement to prove for all natural numbers
Verify the base case
Assume the statement is true for an arbitrary case
Use the assumption to prove the next case
Conclude the statement is true for all natural numbers
Check that the base case and inductive step cover the full range
Apply the same structure to similar problems