Proved the "admit" in the inj/surj factorization lemma