Sentence 1: Formula 11 , where the intersection point runs through all normal subgroups of the finite index .
Sentence 2: Formula 11 , where the intersection runs through all finite subgroups of normal index .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?