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