Prouver une propriété simple par un calcul littéral

Traduire les hypothèses avec une lettre : deux entiers consécutifs sont $n$ et $n + 1$ ; un nombre pair est $2k$.

Écrire l'expression à étudier (somme, produit…) et la réduire.

Reconnaître la forme obtenue ($2 \times \text{un entier}$ : pair ; $2 \times \text{un entier} + 1$ : impair ; $3 \times \text{un entier}$ : multiple de $3$) et conclure.