By compactness, the Peter–Weyl theorem applies to SU(2) × SU(2), and hence orthonormality of irreducible characters may be appealed to. The irreducible unitary representations of SU(2) × SU(2) are precisely the tensor products of irreducible unitary representations of SU(2).