Suppose that e1,..., em is an orthonormal list of vectors in an inner product space V. Prove that a vector v belongs to span(e1, ..., em) if and only if ||v||^2 = |{v, e1}|^2 + ...|(v, em)|^2.