Hilbert 零点定理: 设 $\bbF$ 是一个代数闭域, $L$ 是 $\bbF[x_1,\cdots,x_n]$ 的一个真理想, 则 $$\bex \exists\ (a_1,\cdots,a_n)\in\bbF^n\ra f(a_1,\cdots,a_n)=0,\quad\forall\ f\in L. \eex$$