27 Kernels and one to one ring homomorphisms

Proof of the theorem that a ring homomorphism is one-to-one if and only if its kernel is trivial.