El teorema de Lindemann-Weierstrass puede frecuentemente ser usado para probar que algunos conjuntos son algebraicamente independientes sobre formula_2.