Let f(X, T1,…, Tm
) be a polynomial over an algebraic number field k of finite degree. In his paper , T. Kojima proved
THEOREM. Let K = Q. if for every m integers t1, …, tm, there exists an r ∈ K such that f(r, t1, …, tm) =), then there exists a rational function g(T1,…,Tm) over Q such that
F(g(T1,…,Tm), T1,…,T)= 0.