E6: conditional unnormalized subtraction

The support assertion concerns the stated functional-support ordering of a pair. It is not a distributional support theorem for independently unsmeared argument slots.