Theorem: Let G be a finite group. then the characters of the irreducible representations form an orthonormal basis of K-sub-G, the vector space of all complex valued functions on G that are constant functions on each conjugacy class. This means the character table is square.