Lindemann–Weierstrass theorem

We discuss issues of algebraic independence for values of the function $e^z$ at algebraic points. The most general result of this kind was established at the end of the 19th century and is called the Lindemann–Weierstrass theorem. This is historically the first theorem on the algebraic independence of numbers and it can be proved now in various ways. Below we propose one more way to prove it.