 Ward identity

For an on-shell amplitude $\mathcal{M}={ϵ}_{\mu }(k){\mathcal{M}}^{\mu }$ with an external photon, gauge invariance implies $k_{\mu }{\mathcal{M}}^{\mu }=0$.