Ben la propriété à prouver n'est pas "on n'a que des chiffres de 1 à 3" mais "on n'a que des chiffres de 1 à 3 et il y a au plus 3 chiffres identiques à la suite". Et là ça se prouve trivialement par récurrence.