Statistical mechanics theorems