BRST-driven cancellations and gauge invariant Green's functions

We study a fundamental, all order cancellation operating between graphs of distinct kinematic nature, which allows for the construction of gauge-independent effective self-energies, vertices, and boxes at arbitrary order.