Symmetric matrix multiplication Let $A$ and $B$ be symmetric matrices.
Prove:


*

*$AB=BA$

*$AB$ is a symmetric matrix


As for 1. due to the axiom $(AB)^T=B^T A^T$ so $AB=BA$
As for 2. I did not find any axiom that can support the claim, but from test I found that it is true for symmetric matrices when the entries on the diagonal are equal.

Both claims are false and almost any $A$ and $B$ are counterexamples. For a specific example, you can see $$\begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} \cdot \begin{pmatrix} 1 & 2 \\ 2 & 3 \end{pmatrix} = \begin{pmatrix} 3 & 5 \\ 3 & 5 \end{pmatrix}$$ while $$\begin{pmatrix} 1 & 2 \\ 2 & 3 \end{pmatrix} \cdot \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} = \begin{pmatrix} 3 & 3 \\ 5 & 5 \end{pmatrix}.$$
