فرض کنیم r یک حلقه ی نوتری که لزوما موضعی نیست و m یک r مدول متناهیا تولید شده با بعد متناهی d باشد. همچنین فرض کنیم a یک ایده آل r و m اشتراک همه ی ایده آلهای اول p باشد به طوری که ??. در این صورت نشان می دهیم : ؟؟ در آن برای یک r مدول آرتینی a قرار می دهیم : ؟؟؟ بعنوان یک نتیجه ثابت می شود که برای هر ایده آل aاز r فقط تعداد متناهی آخرین مدول کوهمولوژی موضعی he(m) غیر ایزومورفیک وجود دارد که محملهای یکسان دارند. به علاوه قضیه ای مشابه قضیه صفر شدن لیختنبام - هارتشورن روی حلقه هایی که لزوما موضعی نیستند، اثبات خواهیم کرد.