deletions | additions       diff --git a/3b3.tex b/3b3.tex  index b73ece7..aa60c64 100644  --- a/3b3.tex  +++ b/3b3.tex 
...
\begin{split}  & I \a \neg B \to R\\  \iff & (res + nm = n_0m_0) \a (n \geq 0) \a (0 \geq n) \to (res = n_0m_0)\\  \iff & (res + nm = n_0m_0) \a (n = 0) \to (res = n_0m_0)\\  \iff & (res + 0 * m = n_0m_0) \to (res = n_0m_0)\\  \iff & (res = n_0m_0) \to (res = n_0m_0)\\  \iff & \T  \end{split}  \end{equation}