Prove that every simple graph with $n$ vertices and $k$ edges has at least $n − k$ connected components (hint: induction on $k$).
Proof 1. We proceed by induction. Fix $n\ge 1$ and let $P(k)$ be the statement that every
simple graph with $n$ vertices and $k$ edges has at least $n-k$ connected
components. We will show that $P(k)$ is true for all $k\ge 0$.
Basis Step: $P(0)$ says that a graph with no edges has at least $n$ connected components, and this is true since each vertex is its own connected component.
Inductive Step: Assume $P(k)$ is true. Let $G$ be a graph with $n$ vertices and $k+1$ edges. Let $e=uv$ be an arbitrary edge of $G$, and let $G'=G-e$ be the graph obtained by deleting $e$. Let $G_1,\ldots,G_\ell$ be the connected components of $G'$ and note that $\ell \ge n-k$ by the inductive hypothesis. Notice that if $u$ and $v$ are in the same connected component of $G'$, then adding it does not change the connected
components, so in this case $G$ also has $\ell$ connected components.