In my PhD thesis the proof of theorem 5.2.1 is not correct: the induction step needs a more complicated reasoning similar to the construction in the SL chapter. Thanks a lot to Phuong Nguyen for pointing this out! Phuong and Steve Cook give a corrected proof in their book "Foundations of Proof Complexity: Bounded Arithmetic and Propositional Translations".