A1: Proof