Orthogonal Sets Are Linearly Independent