The electric components of the electromagnetic field tensor are
while depends only on the transverse vector. The scalar-vector cross term integrates to zero because , so the scalar action is
Varying the nondynamical scalar gives the constraint equation in field theory
For every nonzero Fourier momentum this fixes , confirming that a source-free massless vector has no propagating scalar polarization.