1) vérifier que cette information est vrai lorsque le nombre entier choisis au départ est 9.
2) démontrer que cette information est vraie quelque soit le nombre choisis au départ . 3) démontrer que le nombre obtenue a l'arrivé par le programme de calcul est un nombre pair quelque sois le nombre entier choisis au départ .