2. f :
n
3. g :
n
4.
x:. g(f(x)) = x
5.
y:n. f(g(y)) = y
6. (
x.if x=
0
n else f(x-1) fi) 
(n+1)
7. (
y.if y=n 0 else g(y)+1 fi) (n+1)
8. y :
(n+1)
9.
y = n
10.
g(y)+1 = 0
f(g(y)+1-1) = y (n+1)
n
n
x:. g(f(x)) = x
y:n. f(g(y)) = y
x.if x=0 n else f(x-1) fi) (n+1)
y.if y=n 0 else g(y)+1 fi) (n+1)
(n+1)
y = n
g(y)+1 = 0
f(g(y)+1-1) = y (n+1)| By: |
y:n. f(g(y)) = y n Using:[y] |
None
About:
 |  |  |  |  |
 |  |  |  |  |
 |