Noetherianness is polynomial-closed: Difference between revisions