The Revenue Equivalence Principle