Revenue equivalence theorem