5 + 3 is divisible by 4.

Use mathematical induction to prove that each conjecture is valid for all positive integers n.