इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें गाइ डेविड ने 1998 में इस मामले के लिए एक प्रमाण प्रकाशित किया जब, उपरोक्त परिकल्पना के अलावा, एच ^ 1 (के) ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "गै डेविड ने 1998 में इस मामले के लिए एक प्रमाण प्रकाशित किया जब, उपरोक्त परिकल्पना के अलावा, '' एच '1 (' के ') 1 (' के ') अनंत है (यहां तक कि सिग्मा-सीमित) । "