Scalar and coordinate intertwiners

The pointwise identity is valid wherever the formal coefficients are evaluated. The restriction $\mathrm{supp}f\subset U$ is the observation contract used in this paper; it is not needed for the algebraic cancellation itself.