Template:Noetherian ring result