\(a^7-a\\ =a\left(a^6-1\right)\\ =a\left(a^3-1\right)\left(a^3+1\right)\\ \)
Lập phương của 1 số chia 7 dư 0,1,6
Nếu a chia hết cho 7 => đpcm
Nếu a không chia hết cho 7 => a^3 chia 7 dư 1,6
Nếu a^3 chia 7 dư 1 => a^3-1 chia hết 7 (đpcm)
Nếu a^3 chia 7 dư 6 => a^3+1 chia hết cho 7 => đpcm