Image of Group Homomorphism is Subgroup

Theorem
Let $$\phi: G_1 \to G_2$$ be a group homomorphism.

Then $$\mathrm{Im}\left({\phi}\right) \le G_2$$.

Proof
This is a special case of Homomorphism Preserves Subgroups, where we set $$H = G_1$$.