theorem Th38: :: GLIBPRE0:34

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