Dans n'importe quel troupeau de

chevaux, tous les chevaux sont de la même couleur.
On raisonne par récurrence sur le nombre de chevaux :
- Au sein des troupeaux de un cheval, tous les chevaux sont évidemment de la même couleur.
- On suppose qu'il existe un entier

tel que dans tous les troupeaux de

chevaux, tous les équidés soient de la même couleur. On considère un troupeau de

chevaux. Les

premiers chevaux de ce troupeau sont de la même couleur (hypothèse de récurrence), les

derniers aussi (idem) donc tous les chevaux du troupeau sont de la même couleur. L'hérédité est prouvée.