Manuscript XII-C@1 · XII-C.tex · proposition · dead1004
Proposition: Vacuum and the limits of emptiness
C3: the coupled jet for the selected action › The named family and a late switching witness · lines 1204–1214 · proof included or linked
The unrestricted jet family of the selected action is not empty. The family with and is a solution.
Proof. The flat Einstein tensor and scalar stress vanish. Both and are quadratic in the metric field, so their values at vanish. The scalar Euler expression also vanishes.