d,i,j:. j-i = d (k:. (k upto(i;j)) ik & k < j)

1	i,j:. j-i = 0 (k:. (k upto(i;j)) ik & k < j)	2 steps
2	1. d: 2. 0 < d 3. i,j:. j-i = d-1 (k:. (k upto(i;j)) ik & k < j) i,j:. j-i = d (k:. (k upto(i;j)) ik & k < j)	9 steps

About: