for A being non degenerated commutative Ring
for m being maximal Ideal of A st ( for a being Element of A st a in m holds
(1. A) + a is Unit of A ) holds
A is local