So, the ideal generated by x 1 is certainly going to be contained in I; if they are equal, we are done; if not, I is strictly bigger than the ideal generated by x 1. So, we take an ele ment that is in I not in x 1 so; that means, x 2 is in I, but x 2 is not in x 1 ok.
അതിനാൽ, x1 സൃഷ്ടിച്ച ഐഡിയൽ തീർച്ചയായും I ൽ അടങ്ങിയിരിക്കും; അവർ തുല്യരാണെങ്കിൽ നമ്മൾ ചെയ്തു കഴിഞ്ഞു; ഇല്ലെങ്കിൽ, x 1 സൃഷ്ടിച്ച ഐഡിയലിനേക്കാൾ I വളരെ വലുതാണ്. അതിനാൽ, x 1 ൽ ഇല്ലാത്ത I ലെ ഒരു ഘടകo എടുക്കുന്നു; അതിനർത്ഥം, x2 I ലാണ്, പക്ഷേ x2, x1 ൽ അല്ല.