← The formula for the orthogonal projection