Ta có:
a1+a2+a3+...+an \(\equiv\) 0(mol 30)
=> a1+a2+a3+...+an chia hết cho 30
Ta lại có:
a1 \(⋮\)30 => a1.a1.a1.a1.a1 \(⋮\)30
a2 \(⋮\)30=> a2.a2.a2.a2.a2 \(⋮\)30
a3 \(⋮\)30=> a3.a3.a3.a3.a3 \(⋮\)30
.....
an \(⋮\)30=> an.an.an.an.an \(⋮\)30
Cộng vế với vế ta có:
ĐPCM