2. k :
3. f :
(m+1)
(k+1)
4. Inj(
(m+1); (k+1); f)
5. i :
m
6. f(i) = k
(Replace value k by f(m) in f)(i) = f(m) 
k
(m+1)(k+1)
(m+1); (k+1); f)
m
(Replace value k by f(m) in f)(i) = f(m) k| By: |
 if f(i)= k f(m) else f(i) fi
THEN SplitITE Concl |
| 1 |
f(m) = f(m) k | 3 steps |
About:
 |  |  |  |  |  |  |  |  |