The complete first-stage commutator calculation

Equation (eq:commutator) is the calculation determined by the supplied kernel data. A further evaluation requires a formula, conjugation identity, or support theorem for $\mathrm{Im}K$. Full support of $K$ says nothing of this kind: a real distribution can have full support while $K-\overline{K}=0$.