इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें LK और LJ के बारे में गेंटज़ेन का तथाकथित'' मुख्य प्रमेय'' (' Hauptsatz ') कट-निष्कासन प्रमेय था,
बेशक, वाक्य का एक अधिक जटिल संस्करण है "गेंटज़ेन का तथाकथित 'मुख्य प्रमेय' (हाउपत्साट्ज़) LK और LJ के बारे में कट-एलिमिनेशन प्रमेय था,, समाप्ति प्रमेय का 5 पृष्ठों का प्रमाण देता है".