Un entier est divisible par si et seulement si il est divisible par et par .

Pour tout entier naturel ,

donc donc donc .

Par somme, et donc .

donc donc .

Par somme, pour tout entier naturel impair, et donc .