इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रमेय को बोरिस ट्रेख्तेनब्रोट द्वारा 1964 में सिद्ध किया गया था।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "प्रमेय को 1964 में बोरिस ट्रेख्तेनब्रोट और 1972 में एलन बोरोडिन द्वारा स्वतंत्र रूप से साबित किया गया था। "