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. if a1=
a-1 j else f(a1) fi = if a2=a-1 j else f(a2) fi
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 j else f(a1) fi = if a2=a-1 j else f(a2) fi
a1 = a2| By: |
|
| 1 |
10. a1 = a-1 11. a2  a-1
a1 = a2 | 2 steps |
| 2 |
10. a1 a-1
11. a2 = a-1 a1 = a2 | 1 step |
| 3 |
10. a1 a-1
11. a2 a-1
a1 = a2 | 3 steps |
About:
 |  |  |  |
 |  |  |  |  |
 |