\section{Proofs}\label{app:proofs}
% The complete proofs of the results stated in the body.

% In the conference version, each theorem whose proof the full version has in the body is restated here with its proof.  A proof that is in the appendix in both versions goes after them, as it is.
\appendixproof{examplethm}{proof-example}