Methode (Variante)

• p₁(x₁,…) = 0∧...∧p_n(x₁,…) = 0⇒q(x₁,…) = 0.
• äquivalent: es gibt kein x = (x₁,…)

  mit p₁(x) = 0∧...∧p_n(x) = 0∧q(x)≠ 0.

• (der Trick von Rabinovitch) äquivalent: neue Var. f und

  ¬∃x mit p₁(x) = 0∧...∧p_n(x) = 0∧1 - f⋅q(x) = 0.

• äquivalent: Ideal(p₁,…, p_n, 1 - fq) = Ideal(1)

  Gröbnerbasis dafür kann man evtl. leichter berechnen

• Vgl. Resolution in der Logik: Falls (A₁∧…∧A_n∧¬B) widersprüchlich, dann (A₁∧…∧A_n$\implies$B);

  aus widersprüchlicher Formel(menge) folgt jede Formel.