theorem :: GRAPH_5:37

for G being Graph
for v1, v2 being Element of G holds AcyclicPaths (v1,v2) c= OrientedPaths (v1,v2)