Lindemann-Weierstrass theorem Synonyms