Dynkin's lemma