Proof. #AC3