Characteristics of Cycle Graph

Theorem
Let $G = \struct {V, E}$ be an (undirected) graph whose order is greater than $2$.

Then $G$ is a cycle graph :
 * $G$ is connected
 * every vertex of $G$ is adjacent to $2$ other vertices
 * every edge of $G$ is adjacent to $2$ other edges.

Proof
Recall that a cycle is a closed walk with the properties:


 * all its edges are distinct
 * all its vertices (except for the start and end) are distinct.

From Cycle Graph is Connected, $G$ is connected.

From Cycle Graph is 2-Regular, $G$ is $2$-regular.

Hence every vertex of $G$ is incident with $2$ edges.