There is a one-to-one correspondence between the set of all finite index normal subgroups of \(\Gamma \)  and the set of all open normal subgroups of \(\widehat{\Gamma }\)  (see [1]}). Therefore the lemma follows from Proposition REF .

Существует взаимно-однозначное соответствие между множеством всех нормальных подгрупп конечного индекса \(\Gamma \)  и множеством всех открытых нормальных подгрупп \(\widehat{\Gamma }\)  (см. [1]). Следовательно, лемма вытекает из Предложения REF.