for G being Graph
for p being oriented Simple Chain of G holds p is V18()