for G being Graph
for p being oriented Chain of G holds AcyclicPaths p c= AcyclicPaths G