2. g : {2..k
}
3. x : {2..k
}
4. y : {2..k
}
5. x
y
6. x
y<k
7. y<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
h:({2..k}).
{2..k}(g) = {2..k}(h) & h(xy) = 0 & (u:{2..k}. xy<u h(u) = g(u))| By: |
|
| 1 |
h:({2..k}).
{2..k}(g) = {2..k}(h) & h(xy) = 0 & (u:{2..k}. xy<u h(u) = g(u)) | 2 steps |
| 2 |
 x<y
h:({2..k}).
{2..k}(g) = {2..k}(h) & h(xy) = 0 & (u:{2..k}. xy<u h(u) = g(u)) | 3 steps |
About:
 |  |  |  |  |  |
 |  |  |  |
 |