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