Corollary 3.5 (Generalised parallelogram law). Assuming that:

  • X={x1,,xn} non-spherical

Then there exists c1,,cn not all 0 with ci=0 and there exists b0 such that icixi2=b.