Je vais détailler un peu plus sont erreur car apparamment certains n´ont pas compris l´idée de sa fausse démonstration.
Voici son raisonnement "détaillé" pour l´hérédité :
Soit E un ensemble de n + 1 crayons.
Soit A l´ensemble E privé d´un crayon (donc A est un ensemble de n crayons).
Par hypothèse de récurrence, les crayons de A sont d´une même couleur ca.
Soit B l´ensemble A auquel on a remis le crayon enlevé et enlevé un autre (donc B est un ensemble de n crayons).
Par hypothèse de récurrence, les crayons de B sont d´une même couleur cb.
Soit un crayon appartenant à la fois à A et B. Donc ce crayon à la fois de couleur ca et cb, donc ca = cb
Or E est l´union de A et de B donc les crayons de E sont de même couleur.
On a ainsi montré l´hérédité du résultat.
Le problème de ce raisonnement est qu´il suppose que l´intersection de A et de B soit non vide. Ceci est vrai pour n + 1 >= 3. En revanche il est faux pour n + 1 = 2.
Le problème est que ce seul cas particulier fout en l´air toute la récurrence.
L´erreur est donc purement mathématique.