MacBookPro.lan 2026-4-8:21:5:8

This commit is contained in:
oskar
2026-04-08 21:05:08 +02:00
parent c5ffa83773
commit fdd1843cf6

View File

@@ -264,7 +264,10 @@ header-auto-numbering:
> > Ce qui montre que toute chaîne se terminant par $1$ finit par atteindre une chaîne se terminant par $2^{3}1^{1}]$.
> > De là, en dérivant cette fin plusieurs fois, on obtient successivement :
> > - $\underbrace{(\neq 2)222}_{\hspace{-13ex}\mathrlap{\text{Par le thm. du jour 2}}}1]$
> > -
> > - $3211]$
> > - $31221]$
> > - $3112211]$
> > - $3212221]$
> > -
$\underbrace{(\neq 3)}_{\hspace{-7ex}\mathrlap{\text{Par le théorème du jour 2}}}331222113112211]$