Group homomorphism/Kernel/Subgroup/Fact

Let ${}G$ and ${}H$ be groups, and let

$\varphi \colon G\longrightarrow H$

be a group homomorphism.

Then the

kernel of ${}\varphi$ is a subgroup

of ${}G$.

Proof, Write another proof