Factorization lemma

  1. REDIRECT Doob–Dynkin lemma {{R from merge}}