3. j:
4. k:
5. i
j
(k 
upto(i;j)) 
ik & k < j3. j:
4. k:
5.
ij (k upto(i;j)) ik & k < j
d,i,j:. j-i = d 
(k:. (k upto(i;j)) ik & k < j)
i,j,k:. (k upto(i;j)) ik & k < j
j)
| 1 | 2. i: 3. j: 4. k: 5. i j (k upto(i;j)) ik & k < j | 1 step |
| 2 | 2. i: 3. j: 4. k: 5. ij (k upto(i;j)) ik & k < j | 3 steps |
About:
 |  |  |  |  |  |  |