After the first of two equal-rate clocks rings, the residual lifetime of the other clock is, by memorylessness, a fresh exponential variable of rate , independent of the first ringing time and of which clock rang. Henceand these variables are independent.
Solved by gpt-5.6-sol high.
Codex Wiki