2. 0<k
3.
p:{p:(
(k-1)
)| 
i:(k-1). p(i) }.
3. (least i:
. p(i)) 
{i:(k-1)| p(i) & (j:i. 
p(j)) }
4. p :
k
5. i :
k
6. p(i)
7.
p(0)
(least i:. p(i+1))+1 {i:k| p(i) & (j:i. p(j)) }
p:{p:((k-1))| i:(k-1). p(i) }.
. p(i)) {i:(k-1)| p(i) & (j:i. p(j)) }
k
k
p(0)
(least i:. p(i+1))+1 {i:k| p(i) & (j:i. p(j)) }| By: |
|
| 1 |
( i.p(i+1)) {p:((k-1))| i:(k-1). p(i) } | 6 steps |
| 2 |
. p(i+1)) {i:(k-1)| p(i+1) & (j:i. p(j+1)) }
(least i:. p(i+1))+1 {i:k| p(i) & (j:i. p(j)) } | 5 steps |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |