prove the proof view 3