Bon, je le redis :
Supposons que nous souhaitions vérifier une propriété P dépendant d´un entier n€N.
Tout d´abord, il s´agit de trouver n0 tel que P(n) soit vérifier.
Par la suite, il faut démontrer par implication que P(n)=>P(n+1)
A partir de ce moment là, pour tout n>n0, on a P(n)=>P(n+1).
? 