(AB)T=ATBT