Аналитические про-$p$-группы ранга $3$ и замкнутые про-$p$-группы типа $(3,4)$

Доказано, что замкнутая (в смысле Шура) про-$p$-группа типа $(3,4)$ с элементарной абелевой факторгруппой по коммутанту всегда конечна при $p\geqslant7$. При доказательстве используется классификация аналитических про-$p$-групп ранга $3$.
Библиография: 7 названий.