How are we still left with one Residual Gauge Freedom in the choice of Electromagnetic Potential after having already exploited the Gauge Freedom once. As is mentioned in Halzen and Martin Section 6.9.
Doesn't choosing another scalar to induce Gauge Transformation spoils the Lorenz Gauge condition we have earlier?