Suppose is a finite group, is the center of , and are all the conjugacy classes in comprising the elements outside the center. Let be an element in for each . Then, we have:
Note that this is a special case of the class equation of a group action where the group acts on itself by conjugation.
The proof follows directly from fact (1), and the following observations: