Let $f$ be a linear form on $\mathcal{M}_n(\mathbb{R})$. Show that there exists a unique matrix $A \in \mathcal{M}_n(\mathbb{R})$ such that $\forall M \in \mathcal{M}_n(\mathbb{R}), f(M) = \operatorname{Tr}(AM)$.
Let $f$ be a linear form on $\mathcal{M}_n(\mathbb{R})$.
Show that there exists a unique matrix $A \in \mathcal{M}_n(\mathbb{R})$ such that $\forall M \in \mathcal{M}_n(\mathbb{R}), f(M) = \operatorname{Tr}(AM)$.