О конечнопорожденных группах с конечным числом автоморфизмов

Доказано, что конечнопорожденная группа, число автоморфизмов которой $\le n$, есть расширение группы порядка $<(1+(n+1)!n^3)^{2n}n^9$ с помощью циклической группы единичного либо бесконечного порядка.