Soit f la fonction qui traduit le programme suivant :
-choisir un nombre puis lui ajouter 6
-multiplier la somme obtenue par le nombre de départ
-ajouter 9 à ce produit
Montrer que lorsque le nombre de départ est un entier, son image est toujours le carré d'un entier.