, it follows from the induction hypothesis that there is a sequence $\Omega_0$ of [elementary operation]{}s for $(W_0, {\Delta}_0)$ that transforms the empty [bracket system]{}  into the final system and has size bounded by $$\