Vì x > y nên x – y > 0.

Ta có x² ≥ 0 với mọi x mà x ≠ 0 nên x² > 0.

Ta có y² ≥ 0 với mọi x mà y ≠ 0 nên y² > 0.

Ta lại có x ≠ - y nên x + y ≠ 0 suy ra (x + y)⁴ > 0.

Do đó m = x².y².(x – y).(x + y)⁴ > 0.

Vậy m là một số nguyên dương.