Remark: Why support or a remainder estimate would not suffice

The proof uses a reduced-variable pullback theorem, an oriented boundary-value theorem, and the characteristic equations. Neither finite propagation nor a finite-order estimate alone would prove (eq:upper). This is the distinction between distributional control and a wavefront theorem also emphasized in the supplied Em01-D material CheungEmOneD.