Weierstrass-Lindemann theorem Synonyms