Đặt B = n3 - 13n = n3 - n -12n = n(n - 1)(n + 1) - 12n
Ta có : Trong 3 số nguyên liên tiếp tồn tại ít nhất 1 số chẵn và tồn tại ít nhất một số chia hết cho 3 nên tích của 3 số đó chia hết cho 2 và
chia hết cho 3 mà (2;3) = 1 nên tích 3 số nguyên liên tiếp chia hết cho 6
=> n(n - 1)(n + 1) chia hết cho 6 mà 12n chia hết cho 6
=> n3 - n chia hết cho 6