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
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