इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इसका तात्कालिक परिणाम यह है कि यदि कोई भाषा समकक्षता वर्गों के अनंत सेट को परिभाषित करती है, तो यह''नहीं'' नियमित है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "तत्काल परिणाम यह है कि यदि कोई भाषा समकक्षता वर्गों के अनंत सेट को परिभाषित करती है, तो यह 'नहीं' नियमित है, और यह इस परिणाम का उपयोग अक्सर यह साबित करने के लिए किया जाता है कि एक भाषा गैर-नियमित है। "