A non-zero ring $R$ is a field if and only if for any non-zero ring $S$, any ring homomorphism from $R$ to $S$ is injective. Yes, this proof looks good to me!