set I = the maximal Ideal of R;
take the maximal Ideal of R ; :: thesis: the maximal Ideal of R is maximal
thus the maximal Ideal of R is maximal ; :: thesis: verum