great orthogonality theorem