a theorem giving the expected value of any suitably smooth statistic of an Itō diffusion at a stopping time
