相律的热力学推导