そんな簡単なのがあったか！
ではもう一つ。
(a, b) から R への C^∞ 級関数で、
代数的（実）数を代数的数に、超越数を超越数に移す関数は代数関数に限るか