എഫ് ഒരു പ്രൈം ഐഡിയൽ ആണ്, ഇത് ഒരു പ്രൈം ഐഡിയൽ ആണ്, എഫ് സൃഷ്ടിച്ച ഐഡിയൽ ഒരു പ്രൈം ഐഡിയലാണ്, എന്നാൽ ഇതിനർത്ഥം എഫ് ഇർറെഡ്യൂസിബിൾ ആണ്.
అందువల్ల, f అనేది ఒక ప్రధాన ఐడియల్, ఇది ఒక ప్రధాన ఐడియల్, f ద్వారా రూపొందించబడిన ఐడియల్ ఒక ప్రధాన ఐడియల్, కానీ దీని అర్థం f అనేది ఇర్రెడ్యూసిబుల్.