\noindent{\em Proof.} This one is routine:

\nbpdfInput{Snips/Implementation/55.pdf}
\nbpdfOutput{Snips/Implementation/56.pdf}
\endpar{\ref{prop:Sw}}

