Sea formula_3 un número real trascendente sobre el cuerpo de los números racionales formula_4, y sea formula_5 un número real trascendental sobre formula_6, y así hasta formula_7 que es trascendental sobre formula_8.