A noetherian ⇒ A [ X ] noetherian
A [ X ]
noetherian
Hilbert's basis theorem
Hilbertscher Basissatz
theorem
mathematischer Satz