Proposition Let R[x]R[x]R[x] be Noetherian. Then RRR is Noetherian. Proof Follows from 1.1, since R[x]/(x)R[x]/(x)R[x]/(x) is isomorphic to R.R.R. ■\blacksquare■