Demostrar que ∀ a, b ∈Ζ si a * b = 1 ⇒ a y b son ambos 1 o - 1?

Respuesta : si a * b = 1 es la hipotesis y la tesis es a = 1 o - 1 o b = 1 o - 1 Explicación paso a paso : si a * b = 1 es la hipotesis y la tesis es a = 1 o - 1 o b = 1 o - 1 por algebra de proposiciones debemos demostrar que b = 1utilizando la tesis tenemos que a * b = 1, despejando a tenemos a = 1 / b despejando en la ecuacion tenemos que 1 / b * b = 1 lo que da igual a b / b = 1por neutro multiplicativo inverso tenemos que b es = 1 siendo 1 ∈Ζ y asi esta demostrado.