Prove formulas of Presburger Arithmetic