Se todo vértice de $G$ tem grau dois, sabemos que $G$ não é uma
árvore. Afinal, o
Lema do Aperto de Mão nos garante que $G$ tem exatamente a mesma quantidade vértices e de arestas, e não uma aresta a menos. Existe então $C$ um subgrafo de $G$ que é um ciclo. Ao tomarmos ele de menor comprimento possível, podemos supor que $C$ é, na verdade, um subgrafo induzido de $G$. Por um momento, suponha que existe $v\in V\setminus V(C)$. Visto que $G$ é conexo, existe $P$ um caminho conectando $v$ a algum vértice de $C$. Tomando esse caminho de modo que exista apenas um vértice $u$ simultaneamente em $P$ e em $C$, obtemos uma contradição: o vértice $u$ tem dois vizinhos em $C$ e um em $P$. Logo, $G$ é, na realidade, o ciclo $C$.