The quadratic momentum-space operator is inverted by the Proca propagator. With the Feynman propagator boundary prescription,
Multiplication by the Fourier-space Proca operator gives , with the overall sign determined by the convention for the Green function.