deletions | additions       diff --git a/4b1.tex b/4b1.tex  index 86419c0..9d58431 100644  --- a/4b1.tex  +++ b/4b1.tex 
...
R &: res = n!\\  I &: (i \leq n + 1) \a (res = (i - 1)!)\\  B &: i \leq n\\  V &: n - i +  1\\ S &: \{ res := res * i; i := i + 1 \}  \end{split}  \end{equation}