Noetherian iff Finitely Generated Submodules