In particular, F m ∗ F n ≅ F m + n , {\displaystyle F_{m}*F_{n}\cong F_{m+n},} where Fn denotes the free group on n generators.
Зокрема, F m ∗ F n ≅ F m + n , {\displaystyle F_{m}*F_{n}\cong F_{m+n},} де Fn позначає вільну групу з n породжуючими елементами.