Properties of Orthogonal Projection