Abelianness of the category of conite modules

Let R be a commutative Noetherian ring with non-zero identity, n a non- negative integer, and a an ideal of R with dim(R=a) n + ۱. In this paper, we prove that the category of (FD