preuve en arithmétique