Группы подстановок с конечными параметрами рассеивания

Изучается группа $G$ подстановок множества натуральных чисел $N$ с конечными параметрами рассеивания. Доказано, что каждое конечное подмножество из $G$ содержится в подгруппе вида $Q=AB$, где $A,B$ – локально финитно аппроксимируемые подгруппы из $G$.