Kann jemand den Beweis dafür, dass Polynomringe noethersch sind, noch einmal durchgehen und erklären, wie das Argument angepasst werden kann, um zu zeigen, dass für jeden noetherschen Ring R auch der Potenzreihenring R[[X]] noethersch ist?