Lindemann-Weierstrass theorem