Given a Poisson Stochastic Process with parameter $\lambda$, determine the the distribution of the inter-arrival time given that it contains $\tau > 0$ (it is not exponential).
My approach
I want to calculate $$\Pr [X(t) = 1 | X(\tau) = 0], \qquad t > \tau$$ From Bayes Theorem it follows that:
$$\Pr [X(t) = 1 | X(\tau) = 0] = \frac {\Pr [X(\tau) = 0 | X(t) = 1] \Pr [X(t) = 1]} {\Pr [X(\tau) = 0]} = \frac {(1 - \tau / t)t \lambda e^{-\lambda t}} { e^{-\lambda \tau} } = (t - \tau) \lambda e^{-\lambda (t - \tau)}$$