Definition:Non-Trivial Factorization