k:{2...}, g:({2..k
}
), x,y:{2..k}.
Thm* x
y<k
Thm*
Thm* x<y
Thm*
Thm*
{2..k}(g) = {2..k}(split_factor2(g; x; y))
Thm* & split_factor2(g; x; y)(x
y) = 0
Thm* & (
u:{2..k}. xy<u split_factor2(g; x; y)(u) = g(u))i,j:{2...}. i<ij & j<ija,c,b:
, f:({a..b}).
Thm* a
c c<b {a..b}(f) = {a..c}(f)cf(c){c+1..b}(f)i:, x,y:. ixiy = i(x+y)a,b,c:. (ab)c = acbcx:. x0 = 1