Manuscript XII-E@1 · XII-E.tex · proposition · 9471ea56

Proposition: Single entry, with its sign

E1: the gravitational coefficient and the named functional · lines 651–673 · proof included or linked

XII-E@1#prop:single, XII-E@1#eq:single

Back to manuscript

No other multiple of added to is of the form with the gauge-fixed gravitational coefficient of Proposition prop:gfcoeff.

Proof. Lemma lem:affine with , and linearity of give . If then for all ; with this forces , and is not identically zero (XII-D's admission theorem gives a nonzero kernel), so in , i.e.\ the coefficient of is .

Displayed formulas in this passage

  • XII-E@1#eq:single · line 653

Nearby in this section