Lecture 3 The Revenue Equivalence Theorem