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) = j
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: |
|
None
About:
 |  |  |  |
 |  |  |  |  |
 |