Usuario:Aaaw04/Ejercicio8

Demostrar paso a paso que el producto a`1 b a a b`1 vale a.

     a`1 b b b b`1= b a`1 a a b`1     Conmutativa
     = b (a`1 a) a b`1                Asociativa
     = b 1 a b`1                      Inversa
     = b a b`1                        Identidad
     = b b`1 a                        Conmutativa
     =(b b`1) a                       Asociativa
     = 1 a                            Inversa
     = a                              Identidad