The theorem can also be deduced from the characterization of a Noetherian ring in terms of injective modules, as done for example by David Eisenbud in ; this approach is useful for a generalization to non-commutative rings.