From 310718cb00370138b8d6f0e8a8222e5ecdda843c Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Mon, 29 Feb 2016 19:39:56 -0500
Subject: Change to ACM style and inlining of the proofs

---
 myerson.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'myerson.tex')

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}
-- 
cgit v1.2.3-70-g09d2

