A criterion for co niteness and Abelianness of the category of co nite modules

Let n be a non-negative integer, R a commutative Noetherian ring with dim(R) n+۲, a an ideal of R, and X an R-module. In this paper, we prove that X is an (FD