Soit P(n) une proposition définie pour tout entier naturel n.

Utilisez les cases à cocher pour sélectionner ce qui est démontré, puis faites varier la valeur de m de façon à déterminer toutes les propositions qui sont vraies.