[math] \newcommand{\mathds}{\mathbb}[/math]

Work out specialized spectral theorems for the orthogonal matrices [math]U\in O_N[/math], going beyond what has been said in the above.