2. b :
3. f : {a..b
}
4. z : {a..b
}
5. 0<f(z)
6. X : {a..b
}
7. X = reduce_factorization(f; z)
{a..b}(f)
=
{a..b}(trivial_factorization(z))
{a..b}(reduce_factorization(f; z))
}
}
}
{a..b}(f)
=
{a..b}(trivial_factorization(z)){a..b}(reduce_factorization(f; z))| By: |
Thm*  a,b:, f,g:({a..b}).
Thm* {a..b}(f){a..b}(g) = {a..b}( i.f(i)+g(i)) |
| 1 |
{a..b}(f)
=
{a..b}(i.trivial_factorization(z)(i)+reduce_factorization(f; z)(i)) | 4 steps |
About:
 |  |  |  |  |  |  |  |  |  |