Characteristics - proof of lemma