Statement Let be a finitely generated -module and an ideal which is contained in the Jacobson radical. Then if and only if . Proof If then trivially. Let satisfying the conditions above. Since is finitely generated, let be a minimal set of generators. Because then Rearranging terms gives Since is contained in the Jacobson radical, is a unit so which contradicts the assumption that is a minimal generating set. Hence, .