Lindemann-Weierstrass theorem

Etymology
Named after Ferdinand von Lindemann and Karl Weierstrass, who worked on related proofs.

Proper noun

 * 1)  A result that is useful in establishing the transcendence of numbers, stating that, if α1, ..., αn are algebraic numbers which are linearly independent over the rational numbers ℚ, then eα1, ..., eαn are algebraically independent over ℚ.