for A being non degenerated commutative Ring
for a being Element of A
for m being maximal Ideal of A st a in ([#] A) \ m holds
({a} -Ideal) + m = [#] A