इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें द्विआधारी समकक्षता तक, ये निश्चित रूप से बीजगणितीय फ़ंक्शन फ़ील्ड के बराबर हैं।
बेशक, वाक्य का एक अधिक जटिल संस्करण है " द्विआधारी समतुल्यता तक, एक क्षेत्र'' F'पर अपरिवर्तनीय वक्र'F'' पर एक चर में बीजगणितीय फ़ंक्शन क्षेत्रों के बराबर हैं। "