# - Conjecture
# - Criterion
# - Algorithm
-# - Fact
+# - Fact
# - Axiom
# - Definition
# - Example
# - Conclusion
-# Theorem-numbered style declaration
+Format 4
Style Theorem
- Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{thm}{Theorem}
+ EndPreamble
+End
+
-# Corollary-numbered style declaration
Style Corollary
- Preamble
- \theoremstyle{plain}
- \newtheorem{cor}{Corollary}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{cor}{Corollary}
+ EndPreamble
+End
+
-# Lemma-numbered style declaration
Style Lemma
- Preamble
- \theoremstyle{plain}
- \newtheorem{lem}{Lemma}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{lem}{Lemma}
+ EndPreamble
+End
+
-# Proposition-numbered style declaration
Style Proposition
- Preamble
- \theoremstyle{plain}
- \newtheorem{prop}{Proposition}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{prop}{Proposition}
+ EndPreamble
+End
+
-# Conjecture-numbered style declaration
Style Conjecture
- Preamble
- \theoremstyle{plain}
- \newtheorem{conjecture}{Conjecture}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{conjecture}{Conjecture}
+ EndPreamble
+End
+
-# Criterion-numbered style declaration
Style Criterion
- Preamble
- \theoremstyle{plain}
- \newtheorem{criterion}{Criterion}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{criterion}{Criterion}
+ EndPreamble
+End
+
-# Algorithm-numbered style declaration
Style Algorithm
- Preamble
- \theoremstyle{plain}
- \newtheorem{algorithm}{Algorithm}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{algorithm}{Algorithm}
+ EndPreamble
+End
+
-# Fact-numbered style declaration
Style Fact
- Preamble
- \theoremstyle{plain}
- \newtheorem{fact}{Fact}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{fact}{Fact}
+ EndPreamble
+End
+
-# Axiom-numbered style declaration
Style Axiom
- Preamble
- \theoremstyle{plain}
- \newtheorem{ax}{Axiom}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{ax}{Axiom}
+ EndPreamble
+End
+
-# Definition-numbered style declaration
Style Definition
- Preamble
- \theoremstyle{definition}
- \newtheorem{defn}{Definition}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem{defn}{Definition}
+ EndPreamble
+End
+
-# Example-numbered style declaration
Style Example
- Preamble
- \theoremstyle{definition}
- \newtheorem{example}{Example}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem{example}{Example}
+ EndPreamble
+End
+
-# Condition-numbered style declaration
Style Condition
- Preamble
- \theoremstyle{definition}
- \newtheorem{condition}{Condition}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem{condition}{Condition}
+ EndPreamble
+End
+
-# Problem-numbered style declaration
Style Problem
- Preamble
- \theoremstyle{definition}
- \newtheorem{problem}{Problem}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem{problem}{Problem}
+ EndPreamble
+End
+
-# Exercise-numbered style declaration
Style Exercise
- Preamble
- \theoremstyle{definition}
- \newtheorem{xca}{Exercise}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{definition}
+ \newtheorem{xca}{Exercise}
+ EndPreamble
+End
+
-# Remark-numbered style declaration
Style Remark
- Preamble
- \theoremstyle{remark}
- \newtheorem{rem}{Remark}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{rem}{Remark}
+ EndPreamble
+End
+
-# Claim-numbered style declaration
Style Claim
- Preamble
- \theoremstyle{remark}
- \newtheorem{claim}{Claim}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{claim}{Claim}
+ EndPreamble
+End
+
-# Note-numbered style declaration
Style Note
- Preamble
- \theoremstyle{remark}
- \newtheorem{note}{Note}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{note}{Note}
+ EndPreamble
+End
+
-# Notation-numbered style declaration
Style Notation
- Preamble
- \theoremstyle{remark}
- \newtheorem{notation}{Notation}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{notation}{Notation}
+ EndPreamble
+End
+
-# Summary-numbered style declaration
Style Summary
- Preamble
- \theoremstyle{remark}
- \newtheorem{summary}{Summary}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{summary}{Summary}
+ EndPreamble
+End
+
-# Acknowledgement-numbered style declaration
Style Acknowledgement
- Preamble
- \theoremstyle{remark}
- \newtheorem{acknowledgement}{Acknowledgement}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{acknowledgement}{Acknowledgement}
+ EndPreamble
+End
+
-# Case-numbered style declaration
Style Case
- Preamble
- \theoremstyle{remark}
- \newtheorem{case}{Case}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{case}{Case}
+ EndPreamble
+End
+
-# Conclusion-numbered style declaration
Style Conclusion
- Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}{Conclusion}
- EndPreamble
-End
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem{conclusion}{Conclusion}
+ EndPreamble
+End
+
-