定理 是被着色物体的集合, 上的 置换 群. 用 种颜色对 中的元素进行着色, 则在 的作用下不同的着色方案数量是 其中 置换的轮换表示 中, 包括 阶轮换在内的轮换个数.