Corollary: An explicit estimate interface for supported extension

The extension in Theorem thm:jetextension exists if and only if every ${b_{\gamma }}^{\circ }$ satisfies (eq:closedestimate) on $X\setminus Z$. Since there are finitely many $\gamma$, the orders and constants may be chosen common to all coefficients on each fixed compact set.

Proof. Apply Theorem thm:closedextension to each coefficient and then Theorem thm:jetextension. Take the maximum of the finitely many orders and enlarge the finitely many constants.