En general, si hallamos x * y = e ( e neutro), antes de concluir sobre inversos,