Great orthogonality theorem