Noetherianness is polynomial-closed