Revenue_equivalence_theorem loading ...