So, x is in J; certainly I contains J and also I not equal to J this last point is because a is in J, but a is not in I by hypothesis.
അതിനാൽ, x J യിലാണ്; തീർച്ചയായും I ൽ J ഉൾക്കൊള്ളുന്നു, കൂടാതെ I, J യ്ക്ക് തുല്യമല്ല, ഈ അവസാന പോയിന്റ് a J യിലാണുള്ളത് എന്നാണ്, പക്ഷേ a, I ൽ ഇല്ല എന്നാണ് നിഗമനം.