Lin Alg: Projections onto subspaces with orthonormal bases