added liquidity to section 6; fixed theorem numbering