Redirecting to Lindemann–Weierstrass theorem