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 के बराबर है।