T(A; v)T(B;w) = T(AB;Aw + v)