Proof-1 (2)