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