theorem Th57: :: QUOFIELD:57

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