此比Jordan要提前了16年。
定理的证明.从初等群论中，知道了对于任何"G"中元素"g"必然有"g"*"G" = "G"；并通过消除规则知道了"g"*"x" = "g"*"y"当且仅当"x" = "y"。所以左乘"g"充当了双射函数"f" : "G" → "G"，通过定义"f"("x") = "g"*"x"。所以，"f"是"G"的置换，并因此是Sym("G")的成员。Sym("G")的子集"K"定义为是同构于"G"的Sym("G")的子群。得出这个结果的最快方式是考虑函数