Replacing 2.8

The proof of 2.8 relied too much on affine cone stuff that could be
avoided just by using 2.6 and reducing to algebraic statements.