इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें यह 1976 में टी. ऑबिन और एस. टी. याऊ द्वारा स्वतंत्र रूप से नकारात्मक प्रथम चेर्न वर्गों के लिए सिद्ध किया गया था।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "यह 1976 में टी. ऑबिन द्वारा नकारात्मक प्रथम चेरन वर्गों के लिए सिद्ध किया गया था, और जब चेरन वर्ग शून्य होता है तो इसे याऊ द्वारा कैलाबी अनुमान के एक आसान परिणाम के रूप में सिद्ध किया गया था। "