Nernst's theorem