k:{2...}, g:({2..k
}
), x:{2..k}.
Thm* x
x<k
Thm*
Thm*
{2..k}(g) = {2..k}(split_factor1(g; x))
Thm* & split_factor1(g; x)(x
x) = 0
Thm* & (
u:{2..k}. xx<u split_factor1(g; x)(u) = g(u))i:{2...}, j:{1...}. 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