l:
(m-0+1). P(l)
8. 0 < i
9. i < m-n+2
10.
l:(m-(i-1)+1). P(l) l:(m-i+1). P(l)
Prop
k:{n...}. P(k) 
(i:k. P(i))
m < n(m-n+2) l:(m-i+1). P(l)| 1 | l:(m-0+1). P(l) |
| 2 | 7. i: 8. 0 < i 9. i < m-n+2 10. l:(m-(i-1)+1). P(l) l:(m-i+1). P(l) |
About:
 |  |  |  |  |
 |  |  |  |  |