- Do `x ne y` nên ta có : \(\left[ \begin{array}{l}x>y\\x<y\end{array} \right.\)
+ Với `x>y` thì ta có : $\begin{cases} x-y>0 \\ y-x<0 \\ \end{cases} \\ \to(x-y)(y-x)<0 \,\,\text{(tích 2 số nguyên khác dấu luôn < 0)}$
+ Với `x<y` thì ta có : $\begin{cases} x-y<0 \\ y-x>0 \\ \end{cases} \\ \to(x-y)(y-x)<0 \,\,\text{(tích 2 số nguyên khác dấu luôn < 0)}$
- Vậy với mọi `x,y in ZZ` và `x ne y` thì `(x-y)(y-x)<0` hay `(x-y)(y-x)` nguyên âm.