Remark: What the subtraction does not prove

Cancellation is proved using the transport equations, inverse normalization, and distinguished-parametrix uniqueness. Equality of wavefront-set upper bounds alone would not prove it. The theorem is local. It fixes neither a state nor spatial tails. The smooth remainder is not required to decrease.