Trivial Group is Terminal Object of Category of Groups

Theorem
Let $\mathbf{Grp}$ be the category of groups.

Let $\left\{{e}\right\}$ be the trivial group.

Then $\left\{{e}\right\}$ is a terminal object of $\mathbf{Grp}$.