Remark: The contact class is specified

The weak insertion above is a single-block retarded contraction. It is not declared to equal every possible renormalized time-ordered composite insertion. Products with additional singular spectators would require their own product or extension argument. The mixed-product Ward theorem below is instead proved directly by compact-current commutators on the common field domain.