Let be a group and be a homomorphism. Prove that

**Solution**

In general it holds that ( first isomorphism theorem ) . Taking that for granted we also have

and the inequality is equivelant to which is obviously true.

The exercise can also be found at mathematica.gr .