A note on randomly evolving hazard rate functions

Let τ be a finite stopping time with random hazard rate function (λ_t:t ≥ 0). We prove that στ λ_t dt is exponentially distributed with mean 1.