Hilbert basis theoremLet R be a right (left) Noetherian ring. Then R[x] is also right (left) Noetherian.