Arithmetic proof