Revenue equivalence
= Revenue equivalence
Two auctions with the same interim allocation probabilities and the same lowest-type utilities have the same interim expected payments under the usual risk-neutral single-parameter incentive conditions. Equal realized payments are not required. This conclusion follows directly from the <interim payment identity>.