Lin Alg: Finding projection onto subspace with orthonormal basis example