Den ger relationen mellan ett ideal och den mängd idealet definierar. Satsen säger att om F är ett polynom och F(x) = 0 om ƒ₁(x) = ƒ₂(x) = ... = ƒ_n(x) = 0, där ƒ_i är givna polynom, och x betecknar