Terms of AP Proof Formula (2 × a1+an) - Pump