Gauss's law for magnetism — foundational law of classical magnetism