Nếu m hoặc n chia hết cho 3 thì hiển nhiên \(nm\left(m^2-n^2\right)⋮3\)
Nếu cả m và n đều không chia hết cho 3 thì \(m^2,n^2\) đều chia 3 dư 1 (tính chất của số chính phương). Do đó \(m^2-n^2⋮3\) nên \(mn\left(m^2-n^2\right)⋮3\)
Vậy \(mn\left(m^2-n^2\right)⋮3\) với mọi cặp số nguyên m, n.