Let A = [[1, -1, 0], [2, 1, 3], [1, 2, 1]] and B = [[1, 2, 3], [2, 1, 3], [0, 1, 1]]. Verify that (AB)^T = B^T A^T