Category:Statistical mechanics theorems