Prove that $\left(A^{t}\right)^{t}=A$ for each $A \in \mathrm{M}_{m \times n}(F)$.

\begin{proof} We have $A^t_{ij}=A_{ji}$ and so $A^t_{ji}=A_{ij}$. \end{proof}