for G being Graph holds {} is oriented Simple Chain of G