GTO2-3-06: Myerson-Satterthwaite Theorem

VCG is neither individually rational nor budget balanced in general, but could there exist some other incentive-compatible mechanism that is? This video from Game Theory Online (http://www.game-theory-class.org) gives an example that proves the Myerson-Satterthwaite Theorem, which states that there is no such mechanism.