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
,  4 | 0
n=1:    ,  4 | 4
,  4 | 4
Assume true for n=k: i.e.  |
 |  (hypothesis)
   (hypothesis)
Let n=k+1:  
 
 
=  
 
= 
=  
4 |  (by the hypothesis) so
  (by the hypothesis) so  |
 |  as well.
 as well.
Therefore,  |
 |  (if 4|P then 4|(P+4))
 (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)
 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)