First isomorphism theorem

For a group homomorphism $\varphi :G\to H$, the map $g\ker \varphi \mapsto \varphi (g)$ gives an isomorphism