Cox rank-likelihood deletion consistency

Assume independent individual event times with positive time-constant hazard multipliers and a common baseline hazard whose cumulative hazard tends to infinity. Transforming each event time by that cumulative hazard then gives independent exponential event times with corresponding rates, so all event orders exist. Their complete-order probabilities select each next label proportionally to its remaining multiplier. Marginalizing over the position of a deleted label leaves the order law of the other exponential times, hence the same sequential formula without that label. This proves the deletion identity used when unobserved ranks are summed out. It does not supply a likelihood function for censoring times; ignoring censoring in observed survival analysis still needs independent censoring.