Prop
2. a :
3.
b:{...a}. P(a,b)
4.
b:{a+1...}. (c:{a..b
}. P(a,c)) 
P(a,b)
5. k :
6.
k1:. k1<k (b:{a...}. b-a
k1 P(a,b))
7. b : {a...}
8. b-a
k
9. a<b
P(a,b)Prop
b:{...a}. P(a,b)
b:{a+1...}. (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,c) | 1 step |
About:
 |  |  |  |  |  |  |  |  |