So what I want to show is that this distance, the length of a, of the difference between x and its projection, is always going to be less than the distance between x and any other vector in the subspace. 