changed lower part of the proof