factorization lemma

Categories: