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.