Nếu x,y,z khác số dư khi chia cho 3
+Nếu có 2 số chia hết cho 3.Số còn lại không chia hết cho 3.Giả sử x,y đều chia hết cho 3, z không chia hết cho 3=>x+y+z không chia hết cho 3. Do x,y đều chia hết cho 3 nên (x−y)⋮3=>(x−y)(y−z)(z−x)⋮3(Vô lý do (x−y)(y−z)(z−x)=x+y+z)
+Nếu có 1 số chia hết cho 3, 2 số còn lại khác số chia khi chia cho 3, không chia hết cho 3.Tương tự dẫn đến vô lý.
Vậy cả 3 số có cùng số dư khi chia cho 3 =>(x−y)⋮3,(y−z)⋮3,(z−x)⋮3=>(x−y)(y−z)(z−x)⋮27=>(x+y+z)⋮27