Category talk:Statistical mechanics theorems