There's no need to generalize the proof to `t1 .. tn`, just a product of two transformations still suffices.