# If Ampere's law implies the Biot-Savart law, which implies Gauss's law for magnetism, does that mean Maxwell's equations are redundant?

Since there is no magnetic charge term in the Biot-Savart law, it is only correct if Gauss's law for magnetism ($$\nabla \cdot \mathbf{B} = 0$$) is true and there are no magnetic monopoles. So it makes sense that Gauss's law can be derived from the Biot-Savart law.

However, the Biot-Savart law cannot be derived from the Maxwell-Ampère Law without implicitly assuming Gauss's law. In general, we know this both because of the lack of a magnetic charge term and because as Giorgio pointed out, the curl and divergence of a vector field are independent quantities. The specific problem with the proof you cited is that it assumes that a continuous vector potential $$\mathbf{A}$$ can be constructed such that $$\nabla \times \mathbf{A} = \mathbf{B}$$, which is not true if there are magnetic monopoles.

Curl and divergence of a vector field are independent quantities ( Helmholtz's theorem allows to reconstruct a vector field if both are known). So, it is impossible to deduce anything for each of these two quantities from the other.