Group homomorphism/Image/Subgroup/Fact

Let ${}G$ and ${}H$ denote groups, and let ${}\varphi \colon G\rightarrow H$ be a group homomorphism.

Then the

image of ${}\varphi$ is a subgroup

of ${}H$.

Proof, Write another proof