Afirma que si α, α, ...,α son números algebraicos linealmente independientes sobre el cuerpo de los números racionales formula_1, entonces formula_2 son algebraicamente independientes sobre formula_1; es decir, el grado de trascendencia de la extensión del cuerpo formula_4 sobre formula_1 es "n".