Corollary: Coordinate-leg conormal representation

On the retained separated-endpoint patch,

The order is an upper filtered order and may decrease when its complete tensor coefficients cancel.

A full finite amplitude representative is obtained from (eq:K8reduced): apply its finite differential operators to the normal amplitude of $\delta (q){\delta }^{(4)}(r)$. No symbol of the grouped quantum coefficient is assigned.

Proof. The seed has normal amplitude order zero. The representation in Proposition prop:K8exact has at most three derivatives. Its normal amplitude is therefore a finite polynomial of degree at most three in the five normal frequencies, with smooth coefficients. Equation (eq:order), with $n=16,k=5$, gives $3-(16-10)/4=3/2$.