Vì 7 là số nguyên tố
nên a^7-a chia hết cho 7
a^7-a=a(a^6-1)
=a(a^2-1)(a^4+a^2+1)
=a(a-1)(a+1)(a^4+a^2+1)
a;a-1;a+1 là 3 số liên tiếp
=>a(a-1)(a+1) chia hết cho 3!=6
=>a(a-1)(a+1)(a^4+a^2+1) chia hết cho 6
=>a^7-a chia hết cho 6
mà a^7-a chia hết cho 7
nên a^7-a chia hết cho BCNN(6;7)=42
=>\(a^7\equiv a\left(mod42\right)\)