El problema 7 de Hilbert (1862-1943) que plantea si formula_88, con a algebraico distinto de cero y de uno, y b irracional algebraico, es trascendente fue resuelto afirmativamente por Gelfond (1906-1968) en 1934.