for A being non degenerated commutative Ring st ( for m1, m2 being object st m1 in m-Spectrum A & m2 in m-Spectrum A holds
m1 = m2 ) holds
A is local