Apply memoryless property of exponential (#873)

Apply memoryless property of exponential (#873)

Use P(X>s+t∣X>s)=P(X>t)P(X > s+t | X > s) = P(X > t).