2. 0 < d
3.
j,i:
. j-i = d-1 
||upto(i;j)|| = d-1 
4. j:
5. i:
6. j-i = d
7. i < j
||upto(i+1;j)||+1 = d
d,j,i:. j-i = d ||upto(i;j)|| = d
| 1 | 1. d: 2. 0 < d 3. j,i:. j-i = d-1 ||upto(i;j)|| = d-1 4. j: 5. i: 6. j-i = d 7. i < j ||upto(i+1;j)||+1 = d | 1 step |
About:
 |  |  |  |  |  |  |