Introduce and reformulate the characteristics lemma