فرض کنیم $R$ یک حلقه جابه جایی و نوتری است و$\mathfrak a$یک ایده آل سره $R$ است. فرض کنیم $M$یک$R$-مدول متناهی مولد ناصفر استکه دارای بعد تصویری متناهی $p$ است. هم چنین فرض کنیمیک$R$-مدول متناهی مولد ناصفر است به طوری که$N\neq \mathfrak{a} N$و$c$ بزرگ ترین عدد صحیح نامنفی $i$ با این خاصیت است که$\operatorname{H}^i_{\mathfrak a}(N)$،$i$-امین مدول کوهمولوژی موضعی نسبت به$\mathfrak a$،ناصفر است. $\operatorname{H}^i_{\mathfrak a}(M, N)$،$i$-امین مدول کوهمولوژی موضعی تعمیم یافته $M$ و نسبت به$\mathfrak a$،برای هر $i$ که $p+c