theorem Th56: :: GRAPH_5:58

for G being finite Graph
for ps being oriented Simple Chain of G holds len ps <= EdgesCount G