അതിനാൽ, ഐഡിയൽ J എന്നത് I ഉം a ഉം സൃഷ്ടിക്കുന്ന ഐഡിയൽ ആണ് അതിനാൽ, അതിൽ a അടങ്ങിയിരിക്കുന്നു, പക്ഷേ അനുമാനമനുസരിച്ച്, I ൽ a ഇല്ല.
కాబట్టి, ఐడియల్ J అనేది I మరియు a ద్వారా ఉత్పత్తి చేయబడిన ఐడియల్ . కాబట్టి, ఇది aని కలిగి ఉంటుంది, కానీ హైపోథెసిస్ ద్వారా a అనేది Iలో లేదు.