Fórmula 11, donde la intersección de todos los subgrupos normales se ejecuta desde un índice finito.
Fórmula 11, donde la intersección se ejecuta a través de todos los subgrupos finitos del índice normal.