The joint product obstruction remains a separate statement

The same typing distinction prevents transferring this theorem to the sharp joint insertion of VII-B CheungVIIB, or to X-G's separate variational and one-loop questions CheungDossier. The limit here is not an interacting quantum product.