If , take the empty filtration. Otherwise a nonzero quotient is a finitely generated module. Because has the ascending chain condition on ideals, the nonempty collection of annihilators of nonzero elements of has a maximal element. Part (b), applied to , supplies with a prime ideal .
The map , , is surjective with kernel . The first isomorphism theorem gives . Let be the inverse image of under . Then
Repeat whenever the quotient remains nonzero. An infinite repetition would give a strictly ascending chain of submodules of the Noetherian module , contradicting part (a). Thus the process stops after finitely many steps, necessarily at .
This constructs the required prime filtration , with each successive quotient for a prime .