-#LyX 1.4.0cvs created this file. For more info see http://www.lyx.org/
-\lyxformat 243
+#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+\lyxformat 345
\begin_document
\begin_header
+\use_default_options false
\textclass amsart
+\begin_modules
+theorems-ams
+theorems-ams-extended
+\end_modules
\language english
\inputencoding default
-\fontscheme default
+\font_roman default
+\font_sans default
+\font_typewriter default
+\font_default_family default
+\font_sc false
+\font_osf false
+\font_sf_scale 100
+\font_tt_scale 100
\graphics default
\paperfontsize default
\spacing single
+\use_hyperref false
\papersize default
\use_geometry false
\use_amsmath 0
+\use_esint 0
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\paragraph_separation indent
\defskip medskip
\quotes_language english
-\quotes_times 2
\papercolumns 1
\papersides 2
\paperpagestyle default
\tracking_changes false
-\output_changes true
+\output_changes false
+\author ""
\end_header
\begin_body
\begin_layout Title
-
Test of AMS-Art Style
\end_layout
\begin_layout Author
-
David L.
Johnson
\end_layout
\begin_layout Address
-
Department of Mathematics
-\newline
+\begin_inset Newline newline
+\end_inset
+
Lehigh University
-\newline
+\begin_inset Newline newline
+\end_inset
+
Bethlehem, PA 18015
\end_layout
\begin_layout Current Address
-
Home
\end_layout
\begin_layout Email
-
dlj0@lehigh.edu
\end_layout
\begin_layout URL
-
http://www.lehigh.edu/~dlj0/dlj0.html
\end_layout
\begin_layout Keywords
-
Test
\end_layout
\begin_layout Thanks
-
To Emmanuel, for forcing me to fix this, and Jean-Marc, for making it possible,
and necessary.
Also to Mate, who suggested numerous improvements.
\end_layout
\begin_layout Dedicatory
-
To my wife.
\end_layout
\begin_layout Translator
-
Joe
\end_layout
\begin_layout Subjectclass
-
Primary: 12G34, Secondary: 09G87
\end_layout
\begin_layout Abstract
-
This is not very abstract.
Note that the abstract must be part of the title stuff for AMS.
LyX is aware of that since version 0.12.1.
\end_layout
\begin_layout Section
-
Introduction
\end_layout
\begin_layout Standard
-
This file, and any amsart-* LyX file, can be converted to either of the
numbering schemes by simply changing the document class in the
\family sans
\end_layout
\begin_layout Enumerate
-
amsart - The standard AMS-article format.
All results and similar statements are numbered as
\begin_inset Formula $(n.m)$
\end_layout
\begin_layout Enumerate
-
amsart-seq - Here, numbering for each type of statement is in its own sequence,
with no reference to the section number.
There are also many (but not all) environments available unnumbered, which
\end_layout
\begin_layout Theorem
-
This is a numbered theorem
\end_layout
\begin_layout Proof
-
Here is its proof.
Here is its proof.
Here is its proof.
\end_layout
\begin_layout Standard
-
More text.
Note that two occurrences of the same environment, like two definitions,
need to be separated somehow.
\end_layout
\begin_layout Theorem*
-
This is an unnumbered theorem
\end_layout
\begin_layout Proof
-
Here is its proof.
Here is its proof.
Here is its proof.
\end_layout
\begin_layout Corollary
-
First corollary.
\end_layout
\begin_layout Proof
-
Its proof.
\end_layout
\begin_layout Corollary*
-
Unnumbered corollary.
\end_layout
\begin_layout Standard
-
-
\begin_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
+
%
\end_layout
\end_layout
\begin_layout Corollary*
-
A second, with no intervening text.
Note the % to force a separation.
\end_layout
\begin_layout Lemma
-
Lemma number 1
\end_layout
\begin_layout Proposition
-
First proposition.
\end_layout
\begin_layout Proposition*
-
Unnumbered version.
\end_layout
\begin_layout Conjecture
-
A wild guess.
\end_layout
\begin_layout Conjecture*
-
So wild I didn't number it.
\end_layout
\begin_layout Criterion
-
Need some criteria
\end_layout
\begin_layout Algorithm
-
first this, then the next
\end_layout
\begin_layout Fact
-
Not fiction.
\end_layout
\begin_layout Fact*
-
Bald statement of fact.
Unnumbered environments are often used for emphasis, or in a short presentation
that doesn't require numbered results.
\end_layout
\begin_layout Axiom
-
It stands to reason.
\end_layout
\begin_layout Definition
-
a word means exactly what I say it means.
\end_layout
\begin_layout Definition*
-
Unnumbered.
\end_layout
\begin_layout Standard
-
Plain text.
Plain text.
Plain text.
\end_layout
\begin_layout Example
-
This should be an example.
\end_layout
\begin_layout Standard
-
Plain text.
Plain text.
Plain text.
\end_layout
\begin_layout Condition
-
If you say so.
\end_layout
\begin_layout Problem
-
I don't know what to write is the problem.
\end_layout
\begin_layout Remark
-
I think this will be useful.
\end_layout
\begin_layout Claim
-
I did it the way the documentation said to.
\end_layout
\begin_layout Note
-
It may need more work yet.
\end_layout
\begin_layout Standard
-
More plain text, in standard format.
\end_layout
\begin_layout Theorem
-
This is a second numbered theorem
\end_layout
\begin_layout Proof
-
Here is its proof.
\end_layout
\begin_layout Standard
-
More text.
\end_layout
\begin_layout Corollary
-
Second corollary.
\end_layout
\begin_layout Proof
-
Its proof.
\end_layout
\begin_layout Lemma
-
Lemma number 2
\end_layout
\begin_layout Proposition
-
Second proposition.
\end_layout
\begin_layout Conjecture
-
A wild guess.
\end_layout
\begin_layout Criterion
-
Need some criteria
\end_layout
\begin_layout Notation
-
-
\begin_inset Formula $S=\mathbb{R}$
\end_inset
\end_layout
\begin_layout Summary
-
In the end, will it matter?
\end_layout
\begin_layout Acknowledgement
-
Thanks to Mattias Ettrich.
Without him I never would have learned LaTeX.
\end_layout
\begin_layout Case
-
If this works, then the rest will.
\end_layout
\begin_layout Conclusion
-
It seems to work.
\end_layout
\begin_layout Proof
-
Here goes another proof.
\end_layout
\begin_layout Standard
-
Plain text.
\end_layout
\begin_layout Section
-
Next try.
\end_layout
\begin_layout Standard
-
This tries out the section environments.
\end_layout
\begin_layout Theorem
-
This is a theorem
\end_layout
\begin_layout Proof
-
Here is its proof.
\end_layout
\begin_layout Standard
-
More text.
\end_layout
\begin_layout Corollary
-
Third corollary.
First one of this section.
\end_layout
\begin_layout Proof
-
Its proof.
\end_layout
\begin_layout Lemma
-
Lemma number 3
\end_layout
\begin_layout Proposition
-
Third proposition.
\end_layout
\begin_layout Conjecture
-
A wild guess.
\end_layout
\begin_layout Criterion
-
Need some criteria
\end_layout
\begin_layout Subsection
-
This is a subsection
\end_layout
\begin_layout Standard
-
With more results therein.
\end_layout
\begin_layout Theorem
-
This is a theorem, maybe the fourth one.
\end_layout
\begin_layout Proof
-
Here is its proof.
\end_layout
\begin_layout Standard
-
More text.
\end_layout
\begin_layout Corollary
-
Fourth corollary.
\end_layout
\begin_layout Proof
-
Its proof.
\end_layout
\begin_layout Lemma
-
Lemma number 4
\end_layout
\begin_layout Proposition
-
Fourth proposition.
\end_layout
\begin_layout Conjecture
-
A wild guess.
\end_layout
\begin_layout Criterion
-
Need some criteria
\end_layout
\begin_layout Standard
-
More random text.
\end_layout
\begin_layout Theorem
-
This is a theorem
\end_layout
\begin_layout Proof
-
Here is its proof.
\end_layout
\begin_layout Standard
-
More text.
\end_layout
\begin_layout Claim
-
I believe this is true.
\end_layout
\begin_layout Proof
-
Its proof.
\end_layout
\begin_layout Lemma
-
Lemma number 5
\end_layout
\begin_layout Proposition
-
Fifth proposition.
\end_layout
\begin_layout Conjecture
-
A wild guess.
\end_layout
\begin_layout Criterion
-
Need some criteria
\end_layout
\begin_layout Subsubsection
-
This is the subsection with results.
\end_layout
\begin_layout Standard
-
The quick, brown fox jumped over the lazy dog.
\end_layout
\begin_layout Theorem
-
This is a theorem - sixth in the series
\end_layout
\begin_layout Proof
-
Here is its proof.
\end_layout
\begin_layout Standard
-
More text.
\end_layout
\begin_layout Corollary
-
Sixth corollary.
\end_layout
\begin_layout Proof
-
Its proof.
\end_layout
\begin_layout Lemma
-
Lemma number 6
\end_layout
\begin_layout Proposition
-
Sixth proposition.
\end_layout
\begin_layout Conjecture
-
A wild guess.
\end_layout
\begin_layout Criterion
-
Need some criteria
\end_layout
\begin_layout Bibliography
-\bibitem {1}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "1"
+
+\end_inset
Johnson, D.
L.
\end_layout
\begin_layout Bibliography
-\bibitem {2}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "2"
+
+\end_inset
American Mathematical Society,
\emph on
\end_layout
\begin_layout Bibliography
-\bibitem {3}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "3"
+
+\end_inset
American Mathematical Society,
\end_layout