P
Initializing...
The completion of a Noetherian local ring is Noetherian · Prove2Me