Como se puede ver, la normalidad de "N" se usa ya en esta igualdad, y por lo tanto, el mismo resultado vale para "N"\"G", el conjunto de clases laterales "derechas" de "G" (que, de hecho, es el mismo conjunto que "G"/"N").