\noindent\nbpdfInput{Snips/Invariance/1.pdf}

\noindent\nbpdfInput{Snips/Invariance/2.pdf}

\noindent\nbpdfOutput{Snips/Invariance/3.pdf}

Next comes Reid1, where we use results from an earlier example:

\noindent\nbpdfInput{Snips/Invariance/4.pdf}

\noindent\nbpdfOutput{Snips/Invariance/5.pdf}

Invariance under the other moves is proven similarly.