theorem Th39: :: GLIBPRE0:35

for G being _Graph
for v being Vertex of G holds
( v is isolated iff v .degree() = 0 )