Giả sử tồn tại [tex]n \epsilon N,[/tex] sao cho n không chia hết cho 3 thì [tex]n^3[/tex] chia hết cho 3
Khi đó, n có dạng: n=3k+a (a=1, a=2), [tex]a\epsilon N[/tex]
Suy ra: [tex](3k+a)^3=27k^3+27k^2+9k+a^3[/tex]
[tex]a^3 <=> 1^3=1 (a=1)
<=> 2^3=8 (a=2)[/tex]
Vậy [tex](3k+1)^3[/tex] không chia hết cho 3 (mâu thuẫn với gt)
=> đpcm