इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इस प्रकार प्रत्येक GL + (''n') - संरचना एक SL (''n') - संरचना के लिए कम करने योग्य है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "इस प्रकार प्रत्येक GL + (' 'n' ') - संरचना एक SL (' 'n' ') - संरचना के लिए कम करने योग्य है, और GL + (' 'n' ') - संरचनाएं '' 'M' पर अभिविन्यास के साथ मेल खाती हैं। "