Injection

À une suite d'entiers naturels $u$, tu associes la suite suivante de $0$ et de $1$ : tu commences par un $0$, puis tu mets $u_0$ fois [le chiffre] $1$, puis tu mets un $0$, suivi de $u_1$ fois $1$, suivi d'un $0$, etc. Tu peux le définir formellement par récurrence sans souci, et ensuie exprimer $u$ en fonction de $f(u)$, ce qui prouve l'injectivité de $f$