 Theorem 6 (Martin-Löf  1966). For any sufficiently long string, there will always  be some fairly compressible initial segments. (See also Li and Vitányi 2008: §2.5.1 and Downey and Hirschfeldt 2010: §2.1.)