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

Доказывается, что группа внешних автоморфизмов свободной группы конечного ранга аппроксимируется группами внешних автоморфизмов конечных $p$-групп для любого простого $p$. Отсюда следует, что подгруппа внешних автоморфизмов, тождественных по модулю коммутанта, аппроксимируется конечными $p$-группами для любого простого $p$.