Вложение абсолютно свободных групп в группы $B(m,n,1)$

В работе доказывается, что каждая счетная абсолютно свободная группа изоморфно вкладывается в группу $B(m,n,1)$ для любого $m \ge 2$ и нечетного $n\ge 665$. Тем самым показано, что каждая из групп $B(m,n,1)$ порождает многообразие всех групп и группы $B(m,n,1)$ неаменабельные. В частности, число Тарского этих групп равно $4$.