О группах Демушкина

Пусть $G$ — конечнопорожденная про-$p$-группа с $d=d_G>1$ образующими и единственным определяющим соотношением. Тогда, если $G$ не является группой Демушкина, то про-$p$-группа $G$ содержит максимальную подгруппу с более чем $р(d-2)+2$ образующими. Библ. 9 назв.