Deduce algebraic fact with Gelfond-Schneider theorem

See http://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theorem
Deduce algebraic facts with Lindemann-Weierstrass theorem

See http://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem