Change to ACM style and inlining of the proofsHEADmaster

1 files changed, 3 insertions, 1 deletions

diff --git a/myerson.tex b/myerson.tex
index 8c80cf6..371e0d3 100644
--- a/myerson.tex
+++ b/myerson.tex
@@ -1,4 +1,5 @@
-Using the notations of Lemma~\ref{thm:myerson-variant}, we want to prove that
+\begin{proof}
+We want to prove that
 if $c_i$ and $c_i'$ are two different costs reported by user $i$ with $|c_i
 - c_i'|\geq \delta$, and if $c_{-i}$ is any vector of costs reported by the
 other users:
@@ -29,3 +30,4 @@ c_{-i}) = 0$ implies that $i$'s threshold payment is less than $c_i$,
 \emph{i.e.} $p_i(c_i', c_{-i}) \leq c_i$. This last inequality is equivalent to
 \eqref{eq:local-foobar} in this final case. \qed
 \end{enumerate}
+\end{proof}