progress of the proof

Progress Of The Proof class=