伯恩赛德引理与对称计数

群作用下的轨道数等于固定点的平均：(1/|G|) Σ |Fix(g)|；用于计数在对称性（旋转、反射）下本质不同的构型。