гельфнд超越性判别法则多变量情形的推广(Ⅱ)

对于P∈C[x_1,…,x_x],H(P)表其高，并令t(P)=max(logH(p),1+degx_1(p),…1+degx_x(p).设n≥1,(θ_1,…,θ_n)∈C~n.A(θ_1,…,θ_n)表示所有具有下列性质的实数η>1的集存在实数N_0>0,使对于任何实数N≥N_0有多项式F=F_N∈Z[x_1,…,x_n],t(F)≤N,