Proof

We verify the three laws for Ker(f) to be an ideal:

0 Ker(f).

If u, u' Ker(f), then u + u' Ker(f).

If r R and u Ker(f), then ru Ker(f).