L06_A
        Compactness property
        Bolzano-Weierstrass theorem
        Ascoli-Arzela theorem
        Hein-Borel theorem

L06_B
        Equi-continuity hypothesis
        Local existence of solution
        Backward in time
        Weierstrass theorem