О связи между условиями обрыва цепей $m$-полурешетки и ее $m$-подполурешетки $G$-инвариантных элементов для действия конечных групп

Приводится доказательство теоремы о связи между условиями обрыва цепей $m$-полурешетки и ее $m$-подполурешетки $G$-инвариантных элементов для действий конечных групп, которая ранее была приведена в работе [7] без доказательства.