Tengo dos pruebas para este teorema, por favor dime cuál es más correcta. También hágame saber si algo va mal, gracias.
- Primera prueba
$\begin{align} z&=z+0 \quad \text{additional identity}\\ &=z+(a+(-a)) \quad \text{additional inverse}\\ &=(z+a)+(-a) \quad \text{additional associative}\\ &=a+(-a) \quad \text{known }z+a=a\\ &=0\quad \text{additional inverse} \end{align}$
- Segunda prueba
$\begin{align} z+a&=a \\ (z+a)+(-a)&=a+(-a) \\ z+(a+(-a))&=0 \quad \text{additional associative and identity}\\ z+0&=0 \quad \text{additional inverse}\\ z&=0\quad \text{additional identity} \end{align}$