El elemento inverso de "aN" en "G"/"N" será, según la ecuación anterior, "a""N", lo cual completa la demostración de que "G"/"N" forma un grupo con el producto de subconjuntos.