set m = the maximal Ideal of A;
the maximal Ideal of A in m-Spectrum A ;
hence not m-Spectrum A is empty ; :: thesis: verum