Dimensionality Theorem

For a finite Group of $h$ elements with an $n_i$th dimensional $i$th irreducible representation,

$$\sum_i {n_i}^2 = h.$$