\] Suppose there is a sequence $\Omega$ of [elementary operation]{}s that converts the empty [bracket system]{}  $E$ for $(W, {\Delta})$ into the final [bracket system]{}  $F$ and has size bounded by $(k_0, k_0)$. Then there is also a sequence of [elementary operation]{}s that transforms 