deletions | additions       diff --git a/subsection_Orthogonality_Theorem_There_is__.tex b/subsection_Orthogonality_Theorem_There_is__.tex  index eb690a7..cbbd8a3 100644  --- a/subsection_Orthogonality_Theorem_There_is__.tex  +++ b/subsection_Orthogonality_Theorem_There_is__.tex 
...
\subsection{Orthogonality Theorem}  There is a variant of definition ~\ref{def:op} which is nearly equivalent and is often useful. We can think of functions $f: \Words \rightarrow \Reals$ as vectors in a real Hilbert space with inner product $\Chev{f,g}:=\E_\mu[fg]$.