1: \begin{proof}

2: Fix an orientation for the pseudoline arrangement corresponding to the lines $l_i$ and $l_{i+1}$. All lines $l_k$ for $k\le i$ are oriented to the left and all lines $l_j$ for $j\ge i+1$ are oriented to the right.

3: 

4: Suppose now that $\mathbf{p}$ is a GP-path of shape $(l_i,l_{i+1})$ partially to the right of $l_{i+1}$ with respect to the orientation of $l_{i+1}$. Then there is a line $l_k$ crossing $l_{i+1}$ from left to right. There are two cases: first if $k > i+1$, then $l_k$ is also oriented to the right. So ${\mathbf p}$ is passing trough the crossing of $l_k$ and $l_{i+1}$ on line $l_k$, but this is a contradiction to being rigorous. If $k<i$ the right end of $l_k$ is above the right end of $l_{i+1}$. So the two lines have to intersect once again near the right end, which is a contradiction.

5: 

6: The case of the path $\mathbf{p}$ being partially to the right of the line $l_i$ can be treated similarly. Lastly we consider a path that travels along $l_{i+1}$ beyond the crossing with $l_i$. Using the property that a path can not cross $l_i$ from right to left, we see that the path $\mathbf{p}$ has to cross $l_{i+1}$ from left to right to continue to $l_i$. In this case, $\mathbf{p}$ would form a loop with contradicts the GP-path condition.

7: \end{proof}

8: