Given two paths and . There exist parameters and such that .
The two paths