Hilbert basis theorem

Summary