for A being non degenerated commutative Ring holds 0. A is Zero_Divisor of A