Prove that for square matrices $ A\,(m\times m) $ and $ B\,(n\times n) $, $tr(A\times B)=tr(A)tr(B).$
$tr(A)=\sum_{i=1}^ma_{ii}=a_{11}+a_{22}+...+a_{mm}$
$tr(B)=\sum_{i=1}^nb_{ii}=b_{11}+b_{22}+...+b_{nn}$
Since $A\times B$ has to be true, the matrices have to be the same size and $m=n$.
$A\times B=\sum_{k=1}^m a_{ik}b_{kj}=a_{i1}b_{1j}+...+a_{nm}b_{mn}$
I don't know if what I've done is correct so far and I'm not sure how to go on with solving the trace of $A\times B$.
Suppose that $A$ is $m\times m$ with typical elements $A_{ij}$ and $B$ is $n\times n$ with typical elements $B_{hk}$. We have $$ A\otimes B=\begin{pmatrix} A_{11}B & A_{12}B & \cdots & A_{1m}B\\ A_{21}B & A_{22}B & \cdots & A_{2m}B \\ \vdots & \vdots & \ddots & \vdots \\ A_{m1}B & A_{m2}B & \cdots & A_{mm}B \end{pmatrix} $$ so the diagonal elements of $A\otimes B$ are $$ A_{11}B_{11},\ldots,A_{11}B_{nn},A_{22}B_{11},\ldots,A_{22}B_{nn},\ldots,A_{mm}B_{11},\ldots,A_{mm}B_{nn}. $$ Summing these yields \begin{align*} &\quad\operatorname{Tr}(A\otimes B)\\ &=A_{11}B_{11}+\cdots+A_{11}B_{nn}+A_{22}B_{11}+\cdots+A_{22}B_{nn}+\cdots+A_{mm}B_{11}+\cdots+A_{mm}B_{nn}\\ &=A_{11}(B_{11}+\cdots+B_{nn})+A_{22}(B_{11}+\cdots+B_{nn})+\cdots+A_{mm}(B_{11}+\cdots+B_{nn})\\ &=(A_{11}+\cdots+A_{mm})(B_{11}+\cdots+B_{nn})=\operatorname{Tr}(A)\operatorname{Tr}(B). \end{align*}