Start of the proof - Characteristics