The great orthogonality theorem also holds in the double group. Hence, the direct product of irreducible representations and the reduction of the reducible representation can be performed as the point group. For example, the splitting of the one-electron molecular orbitals belonging to the irreducible representations e g and t 2g in O h symmetry due to the SOC in the double group can be expressed as follows: