Let $$\varphi : G \to H$$ be a group homomorphism. Then $$\varphi$$ is a group isomorphism iff [what?].