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