Доказано, что группа, порожденная конечнымскрученным подмножеством, конечна и ее порядокограничен некоторой функцией, зависящей только от порядкаскрученного подмножества.