theorem Th4: :: GRAPH_3:4

for G being Graph
for e being set st e in the carrier' of G holds
<*e*> is Path of G