Faisons l´hypothèse qu´un 4 apparaisse sur une ligne. Ce 4 doit forvémentavoir un caractère à sa droite ( seul un 1 finit les lignes ). Supposons que cela soit un x.
La ligne II comproterait donc 4 x consécutifs :
I ......
II ...axxxxb...
III ...4X...
Or on peut décomposer chaque ligne en couples d´abord un quantifiant ( qui définit qu´il y a tant de chiffres x ), puis un quantifié (le chiffre x qui se trouvait sur la ligne précèdente). On peut donc lire la ligne II de 2 façons : soit a est le quantifié ( hypothèse 1 ), soit il est le quantifiant ( hypothèse 2 ).
Premier cas, a est le quantifié ; le découpage en couples se fait ainsi :
II ...a xx xx b...
La ligne I serait donc :
I ...... xxxxxxx xxxxxxx...
x fois x fois
Or cela est impossible car on lirait la ligne II
II ... a (2x)xb...
Ce qui n´est pas vrai, donc l´hypothèse est fausse
Second cas, a est le quantifiant ; le découpage en couples se fait ainsi :
II ... ax xx xb ...
La ligne I serait donc :
x en a exemplaires puis x en x exemplaires et enfin b en x exemplaires :
I ... xxxxxxx xxxxxxx bbbbbbbb...
a fois x fois x fois
Encore une fois, dans ce cas, la ligne II se lirait : II ... (a+x)x+xb
Ce qui n´est pas vrai, donc l´hypothèse est fausse.
Conclusion : danstous les cas, l´hypothèse est fausse. Donc il n´y a pas de 4 dans cette suite de chiffres. On montrerait la même chose pour tout nombre supérieur à 4 ; chaque ligne est donc uniquement composée de 1, de 2 et de 3.
Qui dit mieux ? 