A-&-G-Proof-#1