（Hilbert's Nullstellensatz）設f_1,...,f_k是一組多項式. 方程組f_1=...=f_k=0無公共零點的充要條件是：存在另一組多項式a_1,...,a_k，使得下式恆成立：a_1f_1+...+a_kf_k≡1.
目錄