prove the proof view 2