Again, tree T is a smooth tree decomposition of G, with the same width as T. Furthermore, the replacement of v 2 by v 1 does not affect the bags of T where these nodes have been introduced for the first time.
we have set sequence of 2s transitions γ = t 1 , .