theorem Th156: :: GLIB_000:156

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