How to prove $(AB)^T=B^T A^T$

Given an $m\times n$-matrix $A$ and an $n\times p$-matrix $B$. Prove that $(AB)^T = B^TA^T$.

Here is my attempt:

Write the matrices $A$ and $B$ as $A = [a_{ij}]$ and $B = [b_{ij}]$, meaning that their $\left(i,j\right)$-th entries are $a_{ij}$ and $b_{ij}$, respectively.

Let $C=AB=[c_{ij}]$, where $c_{ij} = \sum_{k=1}^n a_{ik}b_{kj}$, the standard multiplication definition.

We want $(AB)^T = C^T = [c_{ji}]$. That is the element in position $j,i$ is $\sum_{k=1}^n a_{ik}b_{kj}$. For instance, if $i=2, j=3$, then the element in $2,3$ of $C$ is that sum, but the element in position $3,2$ of the transpose is that sum.

I need to get the same value for the element in position $3,2$ of the right side.

The transpose matrices are $B^T=[b_{ji}], A^T=[a_{ji}]$. They are size $p \times n$ and $n \times m$. That is, they switch rows and columns.

Let $D = B^T A^T = [d_{ji}]$. I write the indices backwards because if I want the element in position $3,2$, that is, $i=2, j=3$ just like on the other side.

So I need the summation for $d_{ji}$. But I get as $d_{ji} = \sum_{k=1}^n b_{jk}a_{ki}$, which does not match.

We know on the one hand that $(AB)_{ji} = (AB)^T_{ij}$, hence $$(AB)^T_{ij} = (AB)_{ji} = \sum\limits_{k=1}^nA_{jk}B_{ki},$$ on the other hand $$(B^TA^T)_{ij}= \sum\limits_{k=1}^nB^T_{ik}A^T_{kj}= \sum\limits_{k=1}^nB_{ki}A_{jk}= \sum\limits_{k=1}^nA_{jk}B_{ki},$$ so, since $(AB)^T_{ij} = (B^TA^T)_{ij}$ for all $i=1,...,p$ and $j=1,...,m$ we have $$(AB)^T = B^TA^T.$$

I would write it this way: denoting $a'$ and $b'$ the coefficients of $\;{}^{\mathrm t}\!A$ and $\;{}^{\mathrm t}\!B$, we have:

$$d_{ij}=c_{ji}=\sum_{1\le k\le n}a_{jk}b_{ki}=\sum_{1\le k\le n}b'_{ik}a'_{kj},$$ hence $\;{}^{\mathrm t}\mkern-1mu C={}^{\mathrm t}\!B\:{}^{\mathrm t}\!A$.

The product of $A$ and $B$ matrix is $$(A\cdot B)_{ij}=\text{row}(A)_i \cdot \text{column}(B)_j$$ $$(A\cdot B)^T_{ij}=C_{ji} = \text{row}(A)_j \cdot \text{column}(B)_i$$ $$\text{row}(A)_i=\text{column}(A^T)_i$$ $$\text{column}(B)_j=\text{row}(B^T)_j$$ $$(A\cdot B)_{ij}=\text{row}(A)_i \cdot \text{column}(B)_j=\text{column}(A^T)_i \cdot \text{row}(B^T)_j=\text{row}(B^T)_j \cdot \text{column}(A^T)_i=(B^T \cdot A^T)_{ji}.$$ So, we have: $$(A \cdot B)_{ij}=(B^T \cdot A^T)_{ji}.$$ We can rewrite last statement in following form: $$(A \cdot B)=(B^T \cdot A^T)^T.$$ Now, lets transpose both sides and we will get what we want:$$(A \cdot B)^T=B^T \cdot A^T.$$

$$(AB)_{ij} = \sum_{k=1}^n a_{ik} b_{kj}$$

$$[(AB)_{ij}]^T = \sum_{k=1}^n a_{jk}b_{ki}$$

$$(BA)_{ij} = \sum_{k=1}^n b_{ik}a_{ki}$$

$$B^{T}A^{T} = (B_{ik})^{T}(A_{kj})^{T} = \sum_{k=1}^n b_{ki}a_{jk} = \sum_{k=1}^n a_{jk}b_{ki}$$