m,n,k:
, f:(n
m), g:(km).
increasing(f;n)
increasing(g;k)
(i:m. (
j:n. i = f(j)) 
(j:k. i = g(j)))
(j1:n, j2:k. 
f(j1) = g(j2)) m = n+k 
m,n,k:, f:(nm), g:(km).
increasing(f;n)
increasing(g;k)
(i:m. (j:n. i = f(j)) (j:k. i = g(j)))
(j1:n, j2:k. f(j1) = g(j2)) m = n+k | By: |
|
| 1 |
2. n :
3. k :
4. f : nm
5. g : km
6. increasing(f;n) 7. increasing(g;k) 8. i:m. (j:n. i = f(j)) (j:k. i = g(j))
9. j1:n, j2:k. f(j1) = g(j2)
m = n+k | 21 steps |
About:
 |  |  |  |  |  |  |  |  |  |