Asymptotic exponentiality of the first exit time of the Shiryaev–Roberts diffusion with constant positive drift. Issue 3 (3rd July 2017)