字，其中包括、波利亚、柯西和弗罗贝尼乌斯。这个命题不属于伯恩赛德自己，他只是在自己的书中《有限群论 "On the Theory of Groups of Finite Order"》引用了，而将其归于。下文中，设 formula_1 是一个有限群，作用在集合 formula_2 上。对每个 formula_3 属于 formula_1 令 formula_5 表示 formula_2 中在 formula_3 作用下的不动元素。伯恩赛德引理断言轨道数（记作 formula_8）由如下公式给出：从而