Prop
2. a :
3.
b:{a...}. (c:{a..b
}. P(a,c)) 
P(a,b)
4. k :
5.
k1:. k1<k (b:{a...}. b-a
k1 P(a,b))
6. b : {a...}
7. b-a
k
P(a,b)Prop
b:{a...}. (c:{a..b}. P(a,c)) P(a,b)
k1:. k1<k (b:{a...}. b-ak1 P(a,b))
k
P(a,b)| By: |
|
| 1 |
P(a,b) | 1 step |
| 2 |
 k = 0
P(a,b) | 2 steps |
About:
 |  |  |  |  |  |  |  |  |