Bohr–van Leeuwen theorem