Utilizando que es equivalente decir que un grupo es normal y que el producto esta bien definido por el teorema de las notas de Marco es posible reducir la prueba de este ejercicio a la prueba de la propiedad asociativa, existencia de neutro, y existencia de inverso? Adjunto el teorema citado:
