proof of factorization theorem - Search