Expression for orthogonal projection in orthonormal bases