deletions | additions       diff --git a/3b4.tex b/3b4.tex  index 541fb4f..2142c56 100644  --- a/3b4.tex  +++ b/3b4.tex 
...
\begin{equation}  \begin{split}  & I \a B \to V \gt 0 0\\  \iff\\  & res+nm=n_{0}m_{0} \a n \geq 0 \a n \gt 0 \to n \gt 0 0\\  \iff\\  & \top \end{split}  \end{equation}