By induction on the lift. The combinators and all atomic lifts except $shift$ and $split$ are straightforward; the cases of $shift$ and $split$ are the shift exchange and the split exchange lemmas of the appendix.