theorem Th33: :: GRAPH_3:33

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