\section{Orthogonal Projections and the Spectral Theorem}