Ceci se prouve par induction sur la construction de telles formules.
En effet, si la formule est vraie pour un nombre n, alors elle l'est également pour n+1, puisque la construction de la formule pour n+1 repose sur la formule pour n. Cela permet de conclure que la formule est vraie pour tous les entiers