Assume that is constant. Set
Implicit differentiation of gives
Since , direct differentiation of yields
Therefore
The Lienard-Wiechert potentials for uniform motion have and . The preceding identity consequently implies
As is constant,
Thus the explicit uniformly moving potentials satisfy the Lorenz gauge.