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