Also try the last word alone, Nullstellensatz.