Theorem OSLI Orthogonal Sets are Linearly Independent

Suppose that $S$ is an orthogonal set of nonzero vectors. Then $S$ is linearly independent.

Proof
(in context)