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. j = f(a2)
10. a1 = a-1
11. a2
a-1
a1 = 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
a1 = a2| By: |
|
| 1 |
b
13. f(a2) = j
a1 = a2 | Auto |
About:
 |  |  |  |
 |  |  |  |  |
 |