Ответ:

\(\forall x\in\mathbb{Z}\;(x+(-x)=0)\).