The second law of Thermodynamics as a theorem in quantum mechanics