Made the begining of the proof stronger