Theorem: Vanishing on every strongly separated pair

Every pair satisfying Lemma lem:spacelike obeys

Both actual support orderings hold for every such pair.

Proof. On $F\times G$,

There is a positive compact separation from the commutator support (eq:imagsupport). Thus its product with $fg$ is zero distributionally. The ordering statement was already proved by the upper-support argument.