theorem Th4: :: MSSCYC_1:5

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