for A being non degenerated commutative Ring
for a being Element of A st a is NonUnit of A holds
ex m being maximal Ideal of A st a in m