यदि I, f1 f2 द्वारा जनरेटेड आइडियल नहीं है तो यह अवश्य ही f1f2 से जनरेटेड आइडियल से बड़ा होना चाहिए, इसका अर्थ है, I में ऐसे एलिमेंट्स हैं जो की f1f2 द्वारा जनरेटेड आइडियल में नहीं हैं, हो सकता है ऐसे अनंत एलिमेंट्स हों परन्तु मैं उनमे से एक को चुनने वाली हूँ जिसकी लीस्ट डिग्री हो।
మనం చేసిన ఐడియల్ జనరేట్ f1 f2 కి సమానంగా లేకుంటే అది తప్పనిసరిగా f1 f2 ద్వారా జెనెరేట్ చేయబడిన ఐడియల్ కంటే పెద్దదిగా ఉండాలి; అంటే, f1 f2 ద్వారా జెనెరేట్ చేయబడిన ఐడియల్ లో లేని ఎలిమెంట్స్ Iలో ఉన్నాయి, వాటిలో చాలా వరకు ఇన్ఫైనేట్ గా ఉండవచ్చు, కానీ మనం అతి తక్కువ డిగ్రీని కలిగి ఉన్నదాన్ని ఎంచుకోబోతున్నాము.