इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें उदाहरण के लिए, विकर्ण उपसमूह D को परिभाषित करने के लिए पृथक्करण के स्वयंसिद्ध का उपयोग किया गया था, और D \\ ne f (x) को साबित करने के लिए विस्तारवाद के स्वयंसिद्ध का उपयोग किया गया था।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उदाहरण के लिए, विकर्ण उपसमुच्चय D को परिभाषित करने के लिए पृथक्करण के स्वयंसिद्ध का उपयोग किया गया था, विस्तारवाद के स्वयंसिद्ध का उपयोग D \\ ne f (x) को साबित करने के लिए किया गया था, और जोड़ी के स्वयंसिद्ध का उपयोग उपसमुच्चय P_1 की परिभाषा में किया गया था। "