(This is needed to guarantee that the algorithm will terminate provided | G : H | {\displaystyle |G:H|} is finite.)
(Это необходимо, чтобы гарантировать, что алгоритм закончится обеспеченный | G : H | {\displaystyle |G:H|} конечен.)