theorem Th4: :: RINGFRAC:4

for A being non degenerated commutative Ring st A is domRing holds
{(0. A)} = ZeroDiv_Set A