Proof Like

(1)