Demostración

Si $a \mid b$, existe $q\in \mathbb{Z}$ tal que $b=aq$.

  • $b=aq \Rightarrow b=-a(-q)$, con $-q\in \mathbb{Z}$, y entonces $-a \mid b$.
  • $b=aq \Rightarrow -b=a(-q)$, con $-q\in \mathbb{Z}$, y entonces $a \mid -b$.
  • $b=aq \Rightarrow -b=(-a)q$, entonces $-a \mid -b$.
Si no se indica lo contrario, el contenido de esta página se ofrece bajo Creative Commons Attribution-ShareAlike 3.0 License