设A，B是两个同阶的上三角矩阵，那么AT·BT是()矩阵。