فرض کنید (R,m)  یک حلقه موضعی نوتری کامل از بعد d≥4  باشد. فرض کنید 2≤k≤d-2  یک عدد صحیح  و a1,…,ak  قسمتی از دستگاه پارامتری برای R باشد. در این مقاله نشان داده شده است که رسته‌‌ی تمام R - مدول های a1,…,ak - هم متناهی ...