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