The exponential distribution has survival probability for . Conditional probability therefore gives
which proves the memoryless property. Let and . With ,
The geometric distribution here starts at zero. Summing its first moment gives
For , sum the density over all integer translates:
with zero density outside that interval. The integer and fractional parts of an exponential variable are independent, because for every integer and measurable ,
This factorization proves independence of the discrete and continuous components, beyond just checking their separate marginals.