preuve arithmétique