Remark

To show that an ideal M is maximal, one often reasons as follows: suppose that there is an ideal J that strictly contains M. Then try to show (using that there are elements in the ideal J that are not contained in M) that J contains the unit element and therefore equals the whole ring.