Statement of the orthogonality of irreducible characters. Various consequences, including: uniqueness of irreducible decomposition, upper bound on the number of distinct irreducible representations, the character formula for the irreducible decomposition of a representation, a criterion for irreducibility in terms of the character, etc.