D5: conditional subtraction on the declared free domain

The proposition proves a conditional vanishing property for declared pairs. It does not prove a stronger retarded distributional slot-support theorem. Nor does it construct its time-ordering hypotheses by assuming only free coherence.