f(x,y)を代数的数を係数とする多項式とするとき、
f(e,π)が代数的数⇔f(x,y)は定数