2. g : {2..k
}
3. x : {2..k
}
4. y : {2..k
}
5. x
y
6. x
y<k
7. y<x
y
8.
x<y
h:({2..k}).
{2..k}(g) = {2..k}(h) & h(xy) = 0 & (
u:{2..k}. xy<u 
h(u) = g(u))}
}
}
y
y<k
y
x<y
h:({2..k}).
{2..k}(g) = {2..k}(h) & h(xy) = 0 & (u:{2..k}. xy<u h(u) = g(u))| By: |
y = xx  {2..k} ...a |
| 1 |
h:({2..k}).
{2..k}(g) = {2..k}(h) & h(xx) = 0 & (u:{2..k}. xx<u h(u) = g(u)) | 2 steps |
About:
 |  |  |  |  |  |
 |  |  |  |
 |