(Quite independently and soon after, this was also derived by ).The revenue equivalence theorem states that any allocation mechanism or auction that satisfies the four main assumptions of the benchmark model will lead to the same expected revenue for the seller (and player "i" of type "v" can expect the same surplus across auction types).