prove the proof view 1