Let $M \in \mathrm { GL } _ { n } ( \mathbb { R } )$. Show that the eigenvalues of $M ^ { \top } M$ are all strictly positive.
Deduce that there exists a symmetric matrix $S$ with strictly positive eigenvalues such that $S ^ { 2 } = M ^ { \top } M$.