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 ) . Formula 11 , where the intersection runs through all finite subgroups of normal index .