deletions | additions       diff --git a/sectionClique_width_.tex b/sectionClique_width_.tex  index c042543..3a41f1a 100644  --- a/sectionClique_width_.tex  +++ b/sectionClique_width_.tex 
...
\begin{prop}  The $cwd(P_{n})\leq3$.\end{prop}  \begin{proof} %\begin{proof}  By induction on the structure.  If $P_{1}$ is a path with just one label, the $k$-expression is 
...
following:  $\rho_{c\rightarrow b}(\rho_{b\rightarrow a}(\eta_{b,c}((3-$expression$_{P_{n}})\oplus c)))$.  \end{proof} %\end{proof}