 A quadratic refinement for formula_31 is a function formula_32 which satisfies

Let formula_34 be any 2-dimensional subspace of formula_35, such that formula_36.Then there are two possibilities.Either all of formula_37 are 1, or else just one of them is 1, and the other two are 0.