This video from Game Theory Online (http://www.game-theory-class.org) introduces and proves the Revenue Equivalence theorem, which states that every auction that produces the same allocation also produces the same expected revenue. It features Kevin Leyton-Brown (UBC).