Raisonnement par récurrence. Vérifier que la propriété est vraie aux premiers rangs, puis la supposer vraie au rang n. Enfin, montrer que l'hérédité de la propriété en remarquant que et en l'appliquant au rang n.