theorem Th25: :: GLIBPRE0:21

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