احصل على نسخة أكثر تعقيداً من هذه الجملة. الآن افترض أن المجال التكاملي "A" هو جبر متدرج منتهي على حقل "k".
طبعاً، نسخة أكثر تعقيداً من الجملة هي "الآن افترض أن المجال التكاملي '' A '' هو جبر تدرجي منتهي على حقل '' k '' منتج عن طريق عناصر متجانسة درجات d_i بحيث '' A '' هو نموذج منتهي على '' B '".