Let $f$ be a linear form on $\mathcal{M}_n(\mathbb{R})$, and let $A$ be the unique matrix in $\mathcal{M}_n(\mathbb{R})$ such that $\forall M \in \mathcal{M}_n(\mathbb{R}), f(M) = \operatorname{Tr}(AM)$.
Justify that ${}^t A A$ admits $n$ positive eigenvalues $\mu_1, \ldots, \mu_n$, counted with multiplicities.