Just as the Gelfond?Schneider theorem is equivalent to the statement about the transcendence of numbers of the form ab, so too Baker's theorem implies the transcendence of numbers of the form a1^b1 ・・・ an^bn , where the bi are all algebraic, irrational, and 1, b1,…,bn are linearly independent over the rationals, and the ai are all algebraic and not 0 or 1.
