theorem Th143: :: GLIB_000:143

for G being _Graph
for v being Vertex of G
for e, w being object st v is isolated holds
not e Joins v,w,G by Th62;