for G being non void connected finite Graph
for v being Vertex of G holds Degree v <> 0