Theorem: L.3 summary

On $y\ne w$, every numerical factor of ${Q^{\circ \mu \nu }}_{\mathrm{L}}$ exists in ${\mathcal{D}}^{\prime }({\mathbb{R}}^4\setminus \{0\})$ (Lemma lem:Lprod). The declared orders and scaling bounds of Proposition prop:Lsd hold. ${\mathcal{V}}_{\mathrm{K}}\subseteq {\mathcal{V}}_{\mathrm{adm}}$ with the relations of Proposition prop:VLincl. No extension, counterterm, scale variation, or root attachment is constructed in L.3.

Proof. Combine Lemma lem:Lprod, Proposition prop:Lsd, Proposition prop:VLincl, and Lemma lem:L3comp(I2).