theorem Th11: :: GRAPH_5:13

for G being Graph holds {} is oriented Simple Chain of G