giả sử ( n3 - n ) chia hết cho 6 => ( n 3 - n ) phải chia hết cho 2 và 3
ta có : ( n3 - n ) = n ( n2 - 1 ) = n ( n - 1 ) ( n + 1 )
biểu thức trên có n ( n - 1 ) là tích của 2 số tự nhiên liên tiếp nên chia hết cho 2 ( 1 )
lại thêm ( n + 1 ) nên nó là tích của 3 số tự nhiên liên tiếp nên chia hết cho 3 ( 2 )
từ ( 1 ) và ( 2 ) => kết luận ( n 3 - n ) chia hết cho 6 ( đúng như giả sử ) => đpcm