Bohr-van Leeuwen theorem