得formula_39，即对于任意formula_36，formula_41。因此formula_17成立。
例子.
1. 有限群.formula_63 和以8为模的加法为二元运算的群(此群亦同时是阿贝尔群)。其凯莱表为此凯莱表是故意不用常规的排列法来表明此群有着一对非当然子群：formula_64 和 formula_65，其中 formula_66 亦是 formula_2 的子群。formula_2 的凯莱表是 formula_3 的凯莱表之