Ring Homomorphism from Division Ring is Monomorphism or Zero Homomorphism

Let $$\left({R_1, +_R, \cdot}\right)$$ and $$\left({S, +_S, *}\right)$$ be rings.

Let $$\varphi :R\to S$$ a ring homomorphism.

Then if $$R$$ is a field, then $$\varphi$$ is injective or trivial (that is, $$\forall ~a\in R: \varphi(a)=0_S$$).

Proof
As the kernel of a homomorphism is an ideal of $R_1$, and the only ideals of a field are trivial, we have $$ker(\varphi)=\{0_R\}$$ or $$R$$.

If $$ker(\varphi)=\{0_R\}$$, then $$\varphi$$ is injective by Kernel of Monomorphism is Trivial.

If $$ker(\varphi)=R$$, $$\varphi$$ is trivial.