فرض کنید r حلقه ای نوتری جابجایی بوده و i ایده آلی از آن باشد و m یک r مدول i هم متناهی ناصفر با بعد کوچکتر از یک باشد.در این رساله برای هر r مدول متناهی مولد n که محمل آن زیر واریت ایده آل آن باشد نشان می دهیم فانکتوری از آن متناهی مولد است