Finished integration of lemma4 in Charles' paper without a function symbol of the bound on the plan length .