Si mas no recuerdo el ejerció estada formulado así:
Para todo (a,b) que pertenecen a los números reales encontrar el error.
.
.
.
el error esta está en la pregunta en el "para todo (a,b)"
Por los axiomas de orden matemático si "a=b" entonces "b" es el opuesto aditivo de "a". Por lo tanto...