For two matrices A and B, A = [[2, 1, 3], [4, 1, 0]], B = [[1, -1], [0, 2], [5, 0]] verify that (AB)^T = B^TA^T