Por definición, un elemento "y" es un inverso de "x", ssi, "x * y = e" y "y * x = e".