theorem Th144: :: GLIB_000:144

for G being _Graph
for v being Vertex of G
for e, w being object st v is isolated holds
( not e DJoins v,w,G & not e DJoins w,v,G )