prove

(3)