इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रथम-क्रम के संकल्प द्वारा सिद्ध करने के लिए हॉर्न खंडों की प्रासंगिकता यह है कि दो हॉर्न खंडों का संकल्प एक हॉर्न खंड है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "प्रमेय के लिए हॉर्न खंडों की प्रासंगिकता प्रथम-क्रम के संकल्प द्वारा साबित होती है कि दो हॉर्न खंडों का संकल्प एक हॉर्न खंड है, इसके अलावा : एक लक्ष्य खंड और एक निश्चित खंड का संकल्प फिर से एक लक्ष्य खंड है। "