# see http://www.springer.com/authors for class files and further instructions
-Format 43
+Format 44
PageStyle Plain
Category Sectioning
Margin First_Dynamic
LabelString "Part \thepart"
- LabelType Counter
+ LabelType Static
TocLevel 0
LabelCounter part
Labelsep xx
End
Style Proof
- Category Theorem
+ Category Reasoning
LatexType Environment
LatexName proof
Margin First_Dynamic