Move the LaTeX proof declaration to a separate file, for inclusion elsewhere.