On considère l'affirmation suivante : << Pour obtenir le résultat du programme de calcul, il suffit de multiplier le nombre de départ par le nombre entier qui suit. >> 1) Vérifier que cette affirmation est vraie lorsque le nombre entier choisi au départ est 9. 2) Démontrer que cette affirmation est vraie quel que soit le nombre entier choisi au départ au départ. 3) Démontrer que le nombre obtenu à l'arrivée par le programme de calcul est un nombre pair quel que soit le nombre entier choisi au départ.​