Ta có: a^5 - a = a(a^4 - 1) = a(a² - 1)(a² + 1) = a(a - 1)(a + 1)(a² + 1) 
= a(a - 1)(a + 1)(a² - 4 + 5) 
= a(a - 1)(a + 1)[ (a² - 4) + 5) ] 
= a(a - 1)(a + 1)(a² - 4) + 5a(a - 1)(a + 1) 
= a(a - 1)(a + 1)(a - 2)(a + 2) + 5a(a - 1)(a + 1) 
= (a - 2)(a - 1)a(a + 1)(a + 2) + 5a(a - 1)(a + 1) 
Do (a - 2)(a - 1)a(a + 1)(a + 2) là tích của 5 số nguyên liên tiếp => (a - 2)(a - 1)a(a + 1)(a + 2) chia hết cho 5 mà 5a(a - 1)(a + 1) chia hết cho 5 
=> (a - 2)(a - 1)a(a + 1)(a + 2) + 5a(a - 1)(a + 1) chia hết cho 5. 
=> a^5 - a chia hết cho 5 
Mà a^5 chia hết cho 5 => a chia hết cho 5. 
( Nếu a không chia hết cho 5 thì a^5 - a không chia hết cho 5 vì a^5 chia hết cho 5) 

 Chứng minh rằng nếu (5n + 1) là số chẵn thì n là số lẻ. 
Giải: Nếu 5n + 1 là số chẵn thì => 
5n + 1 có dạng 2k (k là số tự nhiên) 
=> 5n + 1 = 2k 
=> 5n = 2k - 1 
Do 2k - 1 là số lẻ => 5n là số lẻ (1) 
Nếu n là số chẵn thì 5n chẵn => mâu thuẩn với (1) 
=> n phải là số lẻ