consider I being maximal Ideal of R;
take I ; :: thesis: I is maximal
thus I is maximal ; :: thesis: verum