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