Reduced separation and Hadamard smoothing

Smearing some slots of a microcausal kernel against a smooth configuration preserves microcausality: a forbidden remaining tuple would lift to a forbidden original tuple with zero covectors in the smeared slots. Thus the lemma applies to $G^{(k)}(\Phi )$.