an orthogonal set of nonzero vectors is linearly independent