Gia su x+y+z khong chia het cho 3 thi (x−y)(y−z)(z−x) khong chia het cho 3. Do vay x,y,z khong co cung so du khi chia cho 3 nen co the gia su rang x≡0(mod3),y≡1(od3),z≡2(mod3). Tuy nhien, khi do x+y+z≡0(mod3) (Mau thuan). Vay nen x+y+z=(x−y)(y−z)(z−x) chia het cho 3. Suy ra ton tai hai trong ba so x,y,z chia het cho 3. Khong mat tinh tong quat, gia su x≡y≡r(mod3).Neu r=1, do x+y+z chia het cho 3 nen z≡1(mod3). Neu r=2, tuong tu ta co z≡2(mod3). Neu r=0, ta co z≡0(mod3).Tom lai x≡y≡z(mod3). Do vay (x−y)(y−z)(z−x) chia het cho 27. Nen x+y+z chia het cho 27.
Gia su x+y+z khong chia het cho 3 thi (x−y)(y−z)(z−x) khong chia het cho 3. Do vay x,y,z khong co cung so du khi chia cho 3 nen co the gia su rang $x\equiv 0 (mod 3), y\equiv 1(mod 3), z\equiv 2 (mod 3) .Tuynhien,khidox+y+z\equiv 0(mod 3)(Mauthuan).Vaynenx+y+z=(x-y)(y-z)(z-x)chiahetcho3.Suyratontaihaitrongbasox,y,zchiahetcho3.Khongmattinhtongquat,giasux\equiv y \equiv r(mod 3).Neur=1,dox+y+zchiahetcho3nenz\equiv 1 (mod 3).Neur=2,tuongtutacoz\equiv 2 (mod 3).Neur=0,tacoz\equiv 0 (mod 3).Tomlaix\equiv y\equiv z (mod 3).Dovay(x-y)(y-z)(z-x)chiahetcho27.Nenx+y+zchiahetcho27$.