theorem Th56: :: QUOFIELD:56

for I being non degenerated commutative domRing-like Ring holds canHom I is RingHomomorphism