G"的非平凡子群，且当中至少一个的阶不小于3。若"X"有两两不交的非空子集"X", "X", ... , "X"，使得当formula_33时，对所有formula_34，都有formula_35。则"H", "H", ... , "H"所生成的群是其自由积，即这条定理的证明与两个子群时的证明类似。
应用例子.
特殊线性群.矩阵formula_37和formula_38在特殊线性群formula_39中生成的子群是秩2的自由群。
证