2. b :
3. j :
b
4. f :
(a-1)
{x:b| 
x = j }
5. Inj(
(a-1); {x:b| x = j }; f)
6. (
i.if i=
a-1
j else f(i) fi) 
ab
7. a1 :
a
8. a2 :
a
9. f(a1) = f(a2)
10. a1
a-1
11. a2
a-1
f(a1) = f(a2)
b
(a-1){x:b| x = j }
(a-1); {x:b| x = j }; f)
i.if i=a-1 j else f(i) fi) ab
a
a
a-1
a-1
f(a1) = f(a2)| By: |
|
| 1 |
f(a1) = j | 1 step |
About:
 |  |  |  |
 |  |  |  |  |
 |