First Isomorphism Theorem

Let be a ring homomorphism.
Then is an Ideal of and we have

Proof

Same as in The isomorphism theorems,
just add in some ring stuff to check.