Through experience I've seen that the following statement holds true: "$A^TA$ is always a symmetric matrix?", where $A$ is any matrix.
However can this statement be proven/falsefied?
Ideally we've already proved both $(A^T)^T=A$ and $(AB)^T=B^T A^T$. If not, prove these first. Then $(A^T A)^T=A^T (A^T)^T =A^TA$.
We know $(AB)^T=B^TA^T$, so $(A^TA)^T=A^T(A^T)^T=A^TA$ and hence $A^TA$ is always symmetric.