温度の違う箱1と2を用意してそれぞれのエントロピーを計算して足したものと温度が一定になってから全体のエントロピーを計算したものでは後者が大きくなる。という意味では導出できるのはわかるんだけど、これって相空間の密度分布関数を考えるとリウビルの定理に反してることになりません？