Let $M \in \mathcal{S}_{n}(\mathbb{R})$, we denote by $m = s^{\downarrow}(M)$ its ordered spectrum. Show that there exists an orthonormal basis $\left(v_{1}, \ldots, v_{n}\right)$ of $\mathbb{R}^{n}$ such that
$$M = \sum_{i=1}^{n} m_{i} v_{i}\, {}^{t}v_{i}$$
Such a decomposition of $M$ will be called in the sequel a spectral resolution of $M$.