SubLemma 5.5

  The same holds if I is any subinterval of .

Proof

Let be closed intervals such that . By Sublemma 5.4, there is a lift on each . By repeated use of Sublemma 5.3, extend the lift on to a lift on , extend this to , etc. This process gives a lift on I.