theorem Th1: :: RINGFRAC:1

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