deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 116245f..3732d33 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\begin{equation}  T \leq \int Q(z,a_l) df(z) \leq T+\epsilon  \end{equation}  hold. \hfill  \Box Convergence in (\ref{eq:strict_consistency}) always implies convergence in (\ref{eq:cons_lemma}) but not vice versa.