 Lorenz constraint in Proca theory

Taking a divergence and using antisymmetry of $F^{\mu \nu }$ and current conservation gives $m^2{\partial }_{\mu }{A}^{\mu }=0$. For nonzero mass, the Lorenz condition follows from the field equation rather than from a gauge choice.