Voici un programme de calcul : choisis un nombre ; ajoute 8 ; multiplie le résultat par 2 ; soustrais 16. Sacha affirme : « Quel que soit le nombre choisi, le résultat est toujours 2 fois le nombre de départ. » Pour le démontrer, appelle x le nombre choisi et complète le calcul.