https://www.glc.us.es/~jalonso/calculemus/07-ago-23/
Si R es un anillo y a, b ∈ R tales que a+b=0, entonces -a=b