Title: Propositional representation of arithmetic proofs