P(X > s + t | X > s) = P(X > t)

P(X > s + t | X > s) = P(X > s)

P(X > s + t | X > s) = P(X > s + t)

P(X > s + t | X > s) = 1 - P(X > t)