Let
be
a longest
path in
G. Every neighbour of either endpoint lies on
P. Suppose
ℓ<2δ(G). Among the
ℓ possible cut
positions of the path, the
sets{i:v0vi∈E(G)},{i:vi−1vℓ∈E(G)}
have total
size greater than
ℓ, so they intersect. The corresponding two edges close
a cycle containing all
vertices of
P.