اثبات هم-متناهی بودن مدول های کوهمولوژی موضعی برای ایده آلهای از بعد کم

فرض کنید i‎ ایده آلی از حلقه ی نوتری m‎، r‎ یک r- مدول ناصفر i- ‎هم متناهی و n‎ یک r- ‎مدول ناصفر با تولید متناهی باشد. همچنین فرض کنید یکی از شرایط زیر برقرار باشد: 1. dim m?1 2. dim n?2 در اینصورت نشان می دهیم بازای هر i?0‎، r- ‎مدول ext_r^i (n,m)‎، ‎i- هم متناهی است‎.