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 ) .

Are these two sentences paraphrases of each other?
Available options:
-no;
-yes;
yes