1 transparent par page - Montefiore

Par hypothèse, les n premiers chevaux ont la même couleur. Il en est
de même pour les n derniers :
c1, c2, . . . , cn , cn+1.
même couleur
c1, c2, . . . , cn, cn+1 .
même couleur
Dès lors, les chevaux c1, c2, . . . , cn+1 ont la même couleur, i.e.,
P(n + 1) est vrai. Donc, P(n) implique P(n + 1).
◮ Par induction, P(n) est vrai pour tout n ≥ 1. Le théorème est un
cas particulier de ce résultat : celui où n vaut le nombre total de
chevaux dans le monde.
52