For ordered birth times , with , the joint density of births at those times followed by no further birth before is
Also
Division gives
which is exactly the joint density of the order statistics of independent variables with the stated density. This proves the conditional Yule birth times result.