T1T2=(T1T2)\(T1T2).