Source TeX:
trace(AB)=trace(BA)