So what I want to prove is that the distance between x and its projection onto the subspace-- and the way we can get that is essentially just take the length of the vector of x minus the projection of x onto my subspace. 