Weierstrass-Lindemann theorem