first part of the proof