lehman-factorization