Existence and Uniqueness of the Projection Operator