Template:Noetherian base result