A formula which states that the order of a finite group G is equal to the sum, over a set of representatives x_i of the distinct conjugacy classes of G, of the index of the normalizer of x_i in G.