Use mathematical induction to prove each statement is true for all positive integers n:
5^(n)-1 is divisible by 4
n^(2)-n is divisible by 2
==================
n|d means "n divides d"
n=0:
, 4 | 0
n=1:
, 4 | 4
Assume true for n=k: i.e.
|
(hypothesis)
Let n=k+1:
=
= 
=
4 |
(by the hypothesis) so
|
as well.
Therefore,
|
(if 4|P then 4|(P+4))
and the proof is complete.
======
The other proof does not require induction
is always even, which is divisible by 2. Follow the steps I did in first problem if you must have a proof by induction (show true for base case, assume hypothesis (n=k), and then show it leads to truth of the step case where n=k+1)