2024-11-01 Doob-Dynkin Lemma