The length of the vector x minus v, or the distance between x and some arbitrary member of our subspace, is always going to be greater than or equal to the length of a, which is just the distance between x and the projection of x onto our subspace. 