 Let formula_53 be a complete set of irreducible representations of formula_51, and let formula_55 be a matrix coefficient of the representation formula_56.The orthogonality relations can then be stated in two parts