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