small changes

1 files changed, 1 insertions, 1 deletions

diff --git a/proofs.tex b/proofs.tex
index 0b35805..0c06d67 100644
--- a/proofs.tex
+++ b/proofs.tex
@@ -54,7 +54,7 @@ OPT \leq \frac{e}{e-1}\big( 3 V(S_G) + 2 V(i^*)\big).
 \end{displaymath}
 \end{lemma}
 
-Using Lemma~\ref{lemma:relaxation} we can complete the proof of
+Using Lemmas~\ref{lemma:relaxation} and~\ref{lemma:greedy-bound} we can complete the proof of
 Theorem~\ref{thm:main} by showing that, for any $\varepsilon > 0$, if
 $OPT_{-i}'$, the optimal value of $L$ when $i^*$ is excluded from
 $\mathcal{N}$, has been computed to a precision $\varepsilon$, then the set