restructured proof for theorem 11.8