you only need to show that for any the ring is contained in a ring which is finitely generated -module. now let

since is integral over the ring is finitely generated -module. let clearly thus:

we have the ring monomorphism defined by also note that we can define see that(ii) Let be an ideal of and define , then is integral over .

this is well-defined. now if then for some thus: