The Bohr–Van Leeuwen theorem states that when statistical mechanics and classical mechanics are applied consistently, the thermal average of the magnetization is always zero. This makes magnetism in solids solely a quantum mechanical effect and means that classical physics cannot account for paramagnetism, diamagnetism and ferromagnetism. Inability of classical physics to explain triboelectricity also stems from the Bohr–Van Leeuwen theorem. What is today known as the Bohr–Van Leeuwen theorem was discovered by Niels Bohr in 1911 in his doctoral dissertation and was later rediscovered by Hendrika Johanna van Leeuwen in her doctoral thesis in 1919. In 1932, J. H. Van Vleck formalized and expanded upon Bohr's initial theorem in a book he wrote on electric and magnetic susceptibilities. The significance of this discovery is that classical physics does not allow for such things as paramagnetism, diamagnetism and ferromagnetism and thus quantum physics are needed to explain the magnetic events. This result, "perhaps the most deflationary publication of all time," may have contributed to Bohr's development of a quasi-classical theory of the hydrogen atom in 1913. The Bohr–Van Leeuwen theorem applies to an isolated system that cannot rotate. If the isolated system is allowed to rotate in response to an externally applied magnetic field, then this theorem does not apply. If, in addition, there is only one state of thermal equilibrium in a given temperature and field, and the system is allowed time to return to equilibrium after a field is applied, then there will be no magnetization. The probability that the system will be in a given state of motion is predicted by Maxwell–Boltzmann statistics to be proportional to , where is the energy of the system, is the Boltzmann constant, and is the absolute temperature. This energy is equal to the sum of the kinetic energy ( for a particle with mass and speed ) and the potential energy. The magnetic field does not contribute to the potential energy.