Every finitely generated module over a Gorenstein ring has finite Gorenstein dimension. Moreover, if \(R\)  is local and \(-dim_R(M)<\infty \) , then it follows that \(-dim_R(M)=\operatorname{depth}R-\operatorname{depth}_R(M)\) ; see [1]}.
