Let W be finite-dimensional subspace of an inner product space V. Prove that there exist a projection T on W along W perpendicular that satisfies N(T) = W perpendicular. In addition, prove that ||T(x)|| < ||x|| for all x in V.