=+(37.49)

for nonrandom o. By the arguments in the proofs of Lemmas 2 and 3, show that (37.49) holds for simple stopping times

a, for bounded ones, for a = T An, for o = T.