deletions | additions       diff --git a/untitled.tex b/untitled.tex  index b6abf05..683290c 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\begin{equation}  A \subseteq T_k \subseteq T \Longrightarrow P(A) \leq P(T_k) \leq P(T) \xrightarrow[l \rightarrow \infty]{} 0 .  \end{equation}  The first part of the theorem is proved. proven.