En esa proposición se requería que los elementos de formula_6 conmutaran con los elementos de formula_201 ; dicha exigencia se reemplazó en la proposición por la normalidad de los subgrupos.