Hilbert nullstellensatz

Summary