So, J is this ideal which is strictly bigger than I, but what do we know about I, I is maximal by hypothesis right, we have started with a maximal ideal; I is a maximal ideal which we are done.
కాబట్టి, J అనేది I కంటే ఖచ్చితంగా పెద్దదిగా ఉండే ఐడియల్, కానీ I గురించి మనకు ఏమి తెలుసు, I హైపోథెసిస్ ద్వారా మ్యాక్సిమల్ గా ఉంది. మనం మ్యాక్సిమల్ ఐడియల్ తో ప్రారంభించాము; మనం పూర్తి చేసిన మ్యాక్సిమల్ ఐడియల్ .