எனவே, f ஒரு முதன்மை ஐடியல் . இது முதன்மை ஐடியல் . fஆல் உருவாக்கப்படும் ஐடியல் ஒரு முதன்மை ஐடியல் . ஆனால் இதன் பொருள் f ஆனது இர்ரெடியூசபல் .
అందువల్ల, f అనేది ఒక ప్రధాన ఐడియల్, ఇది ఒక ప్రధాన ఐడియల్, f ద్వారా రూపొందించబడిన ఐడియల్ ఒక ప్రధాన ఐడియల్, కానీ దీని అర్థం f అనేది ఇర్రెడ్యూసిబుల్.