Group orthogonality theorem