So, and J is a proper ideal, so J is in S, but since M is maximal element of maximal element of S and J is bigger than M possibly, but it cannot be right, so J is equal to M.
మరియు J అనేది ప్రాపర్ ఐడియల్ , కాబట్టి J అనేది Sలో ఉంటుంది, అయితే M యొక్క మ్యాక్సిమల్ ఎలిమెంట్ అనేది S యొక్క మ్యాక్సిమల్ ఎలిమెంట్ అవుతుంది మరియు J అనేది M కంటే పెద్దది కనుక ఇది ప్రాపర్ కాదు, కాబట్టి J అనేది Mకి సమానం.