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