Noetherian Characterisation by Finitely Generated Submodules