Manuscript X-G@1 · X-G.tex · section · 01566e14
The restricted graph statement
What background covariance follows conditionally › The restricted graph statement · lines 1731–1740
The existence and admissibility hypothesis is substantive. The theorem is not an unconditional completion of X-G.
It also does not identify (eq:PhiG) with the Bogoliubov image of one unchanged interaction. Such an identification would require the additional compatibility contradicted by Theorem thm:obstruction.