deletions | additions       diff --git a/Ex3.b.tex b/Ex3.b.tex  index 6a2f7fd..b4a774d 100644  --- a/Ex3.b.tex  +++ b/Ex3.b.tex 
...
I &: res + nm = n_0m_0\\  B &: 0 < n\\  V &: n\\  S &: \{ res, n := res + m, n - 1 \}  \end{split}  \end{equation}