Hilbert 零点定理: 设 $bF$ 是一个代数闭域, $L$ 是 $bF[x_1,cdots,x_n]$ 的一个真理想, 则 $$ex exists (a_1,cdots,a_n)inbF^n a f(a_1,cdots,a_n)=0,quadforall fin L. eex$$