1: \begin{proof}

2: The restriction $\res_{\w}(\p_{w_0})$ decomposes into a union of paths in the pseudoline arrangement for $\w$. As the definition of GP-paths is local, it follows that all paths in this union are rigorous, hence GP-paths for $\w$.

3: \end{proof}

4: