くりこみ可能性定理（BPHZ）

$d=4$、$m>0$ のユークリッドの $\phi^4$ 理論で、連結図 $G$ の被積分関数 $U_G$ に 命題 5.9 の $R_G=\sum_F\Pi(F)$ を施したもの（$T_\gamma$ は $\gamma$ の外運動量についての次数 $\omega(\gamma)$ までの Taylor 展開）は $(\mathbb{R}^4)^L$ 上で絶対可積分である（Zimmermann の収束定理）。さらに、各次数でこの差し引きは、ラグランジアンにもともと存在する項と同じ形の有限個のカウンター項

を作用に加えることと同値である。