Paraphrase: Formula 11 , where the intersection point runs through all normal subgroups of the finite index .
Formula _ 11 , where the intersection runs through all normal subgroups of finite index ) .