Manuscript X-G@1 · X-G.tex · theorem · 01566e14
Theorem: A nonzero leading coefficient
The switched scalar action: an evaluated breaking · lines 1026–1055 · proof included or linked
X-G@1#thm:matter
Every nonzero compact scalar switch with a plateau admits a free scalar and a compact odd ghost test for which the coefficient of in (eq:sS) is nonzero.
Proof. Use the spatially homogeneous free solution
It has and . At the leading metric , the density difference is zero.
Along a vertical line through a plateau point, rises from zero to one. Therefore on some open interior region. Choose a nonnegative nonzero there and an odd Grassmann generator . Set . Then
Displayed formulas in this passage
unlabeled · line 1035
unlabeled · line 1051