Correct because I is an ideal multiply anything by arbitrary ring element, we do not need anything about b here, in b is any ring element b x is in I and also by hypothesis ab is in I because we have taken two elements whose product is in I.
ശരിയാണ്, കാരണം I, ഏതൊരു ആർബിട്രറി റിംഗ് ഘടകവുമായി ഗുണിക്കാവുന്ന ഒരു ഐഡിയൽ ആണ്. നമുക്ക് b യെക്കുറിച്ച് ഇവിടെ ഒന്നും ആവശ്യമില്ല, b യിൽ, ഏതെങ്കിലും റിംഗ് ഘടകം bx, I ൽ ആണ്. കൂടാതെ ab, I ലാണെന്നാണ് അനുമാനം. കാരണം നമ്മൾ രണ്ട് ഘടകങ്ങളുടെ ഗുണനഫലം എടുത്തപ്പോൾ അത് I ലാണ്.