added notes on equilibrium; fixed proof