(A.B)t = Bt.At    (Propriedade da matriz transposta)
De acordo com o livro que tenho a demonstração se apresenta da seguinte maneira:
                                n
C = A.B  -> cij = ∑   aik.bkj             (1ºmembro)
                               k=1
X = Ct    ->  xji = cij
Por outro lado,
                                                                              n                    n
D = Bt  -> djk = bkj            Y = D.E -> yji = ∑   djk.eki = ∑   bkj.aik = cij = xji
E = At  -> eki = aik                                        k=1               k=1
Logo, X=Y