Prouver formellement
Issue de l’arithmétique, cette expression parle d’une technique ancestrale utilisée par les mathématiciens pour vérifier le résultat des multiplications ou additions.
Exemple addition : 17 + 51 = 68-------------------- (6 + 8 = 14)
Le résultat est-il juste ?
On enlève 9 du résultat soit 68-9, reste 59 soit (5+ 9= 14)