We can easily generalize this proof to the case of quantum mechanical models. We denote the eigenstates of H ~ ~ by | r ⟩ . We denote the diagonal components of the density matrices for the canonical distributions for H and H ~ ~ in this basis as: