קוד:קבוצה אורתונורמלית היא בלתי תלויה

\begin{lem}

כל קבוצה אורתונורמלית היא בלתי תלויה לינארית.

\end{lem}

\begin{proof}

$S$ אורתוגונלית, וכן $0\notin S$, כי $\left \| 0 \right \|=0$.

\end{proof}