deletions | additions       diff --git a/4b5.tex b/4b5.tex  index 96026b1..e01d806 100644  --- a/4b5.tex  +++ b/4b5.tex 
...
\begin{equation}  \begin{split}  & \wp{V_1 := V; S}{V < V_1}\\  \rule{2} \iff & \wp{V_{1}:=n-1}{\wp{res:=res*i}{\wp{i:=i+1}{n-i \wp{V_{1} := n - i + 1}{\wp{res := res * i}{\wp{i := i + 1}{n - i + 1  \lt V_{1}}}} \\ \rule{1} \iff & \wp{V_{1}:=n-1}{wp{res:=res*i}{n-i-1 \wp{V_{1} := n - i + 1}{\wp{res := res * i}{n - i - 1  \lt V_{1}}} \\ \rule{1} \iff & \wp{V_{1}:=n-1}{n-i-1 \wp{V_{1} := n-1}{n-i-1  \lt V_{1}} \\ \rule{1} \iff & n-i-1 \lt n-i \\  \end{split}  \end{equation}