.
.
in the opposite direction.
Let f,g ; I-->X be two paths with initial point x0 and terminal point x1.
Prove that f g iff f g-bar is equivalent to the constant path at x0 .
Note: the path g-bar is obtained by traversing the path g in the opposite direction.
---
Equivalent paths are investigated.