(Date à droite, pour la cohérence avec le premier article. — ElioPrrl (d))
donc
et comme β ne peut être plus grand que α0β, on a
Donc
et β est un nombre ε, qui est plus grand que α.