Démontrer l'assertion suivante:
\[
\forall (x,y)\in\N\times\N,\ x\neq2\text{ et }y\neq2 \Longrightarrow xy-2 \neq x + y.
\]

