<< 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.
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.
Voici le programme
