Voici deux programmes de calcul.
Programme n°1
1234Choisir un nombreRetrancher 5Eˊlever au carreˊ le reˊsultatSoustraire le carreˊ du nombre de deˊpart
Programme n°2
1233Choisir un nombreLe multiplier par 10Soustraire 25Prendre l’opposeˊ du reˊsultat
Démontrer que les deux programmes de calcul donnent toujours le même résultat pour un même nombre de départ.