Hạng tử thứ nhất đã chia hết cho 9. Ta xét hạng tử thứ hai: Nếu n chia hết cho 3 thì 3n chia hết cho 9; nếu n không chia hết cho 3 (dư 1 hoặc dư 2) thì [tex]3(a^2 - 1)[/tex] chia hết cho 9.
Từ đó suy ra điều phải chứng minh: [TEX]n^3 + (n + 1)^3 + (n+2)^3[/TEX] chia hết cho 9