factorization theorem