k_μ Γ^μ(p,p+k) = S⁻¹(p+k) - S⁻¹(p); QED gauge invariance ensures Z_1 = Z_2, photon remains massless to all orders.