(The restriction to irrational b is important, since it is easy to see that a b {\displaystyle a^{b}} is algebraic for algebraic a and rational b.)
(Begränsningen till irrationella b är viktigt, eftersom det är lätt att se att ab är algebraiskt för algebraiska a och rationella b.)