If is Noetherian, then so is , since any submodule of is just the projection of some submodule of which is thus finitely generated, and so is , since its submodules are also submodules of .

For the converse, assume and are Noetherian. Given a , we need to prove is finitely generated. Since , this is finitely generated. By the Second isomorphism theorem,

since must be finitely generated, so must be. Therefore by ^P1, is finitely generated, proving ^P1.

^P2 is a corollary: Since there is a Module epimorphism , the First isomorphism theorem says that is isomorphic to a quotient of . By ^P1 is suffices to show is noetherian, which we do by induction.

The statement is true for since is noetherian. For , assume is noetherian, where

So by ^P1, is noetherian.