Bohr%E2%80%93Van Leeuwen theorem