Supongamos que α es un número algebraico no nulo; entonces {α} es un conjunto linealmente independiente sobre los racionales y por lo tanto {"e"} es un conjunto algebraicamente independiente; en otras palabras, "e" es trascendente.