Path Graph from Cycle Graph

Theorem
Removing one edge from a cycle graph leaves a path graph.

Proof
Let $G_n$ be the graph obtained by removing any edge from the cycle graph $C_n$.

As each of those edges lies on a cycle, by Condition for Edge to be Bridge, none of them is a bridge.

So removing any edge from $C_n$ leaves the resulting subgraph of $C_n$ connected.

From Size of Cycle Graph equals Order, the cycle graph $C_n$ has $n$ edges.

So $G_n$ has $n$ nodes and $n - 1$ edges, and is connected.

From Size of Finite Tree is One Less than Order, $G_n$ is a tree.

But $G_n$ has two nodes of degree $1$, and all the others are of degree $2$.

It follows that $G_n$ is traversable, and hence by definition is a path graph.