[GT Mechanism] #6. 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 post 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.