Serialize Theorems directly