1 #LyX 2.0 created this file. For more info see http://www.lyx.org/
6 \use_default_options false
13 \maintain_unincluded_children false
15 \language_package default
16 \inputencoding default
20 \font_typewriter default
21 \font_default_family default
22 \use_non_tex_fonts false
29 \default_output_format default
31 \bibtex_command default
32 \index_command default
33 \paperfontsize default
45 \paperorientation portrait
54 \paragraph_separation indent
55 \paragraph_indentation default
56 \quotes_language english
59 \paperpagestyle default
60 \tracking_changes false
79 Department of Mathematics
80 \begin_inset Newline newline
84 \begin_inset Newline newline
90 \begin_layout Current Address
99 http://www.lehigh.edu/~dlj0/dlj0.html
102 \begin_layout Keywords
107 To Emmanuel, for forcing me to fix this, and Jean-Marc, for making it possible,
109 Also to Mate, who suggested numerous improvements.
112 \begin_layout Dedicatory
116 \begin_layout Translator
120 \begin_layout Subjectclass
121 Primary: 12G34, Secondary: 09G87
124 \begin_layout Abstract
125 This is not very abstract.
126 Note that the abstract must be part of the title stuff for AMS.
127 LyX is aware of that since version 0.12.1.
132 \begin_layout Section
136 \begin_layout Standard
137 This file, and any amsart-* LyX file, can be converted to either of the
138 numbering schemes by simply changing the document class in the
153 \begin_layout Enumerate
154 amsart - The standard AMS-article format.
155 All results and similar statements are numbered as
156 \begin_inset Formula $(n.m)$
159 , where the first number refers to the section, and the second refers to
160 the total number of results (Theorems, Corollaries, Propositions, Definitions
161 and Remarks, etc.) in that section.
162 There are also many (but not all) environments available unnumbered, which
163 is occasionally needed.
164 Unnumbered environments indicated by an asterisk at the end.
167 \begin_layout Enumerate
168 amsart-seq - Here, numbering for each type of statement is in its own sequence,
169 with no reference to the section number.
170 There are also many (but not all) environments available unnumbered, which
171 is occasionally needed.
174 \begin_layout Theorem
175 This is a numbered theorem
188 \begin_layout Standard
190 Note that two occurrences of the same environment, like two definitions,
191 need to be separated somehow.
192 For the moment, the best way is to include a paragraph with a %, in the
193 LaTeX environment, if you really want two definitions (or whatever) together,
194 with no intervening text of another sort.
197 \begin_layout Theorem*
198 This is an unnumbered theorem
210 \begin_layout Corollary
218 \begin_layout Corollary*
219 Unnumbered corollary.
223 \begin_layout Standard
227 \begin_layout Plain Layout
237 \begin_layout Corollary*
238 A second, with no intervening text.
239 Note the % to force a separation.
246 \begin_layout Proposition
250 \begin_layout Proposition*
254 \begin_layout Conjecture
258 \begin_layout Conjecture*
259 So wild I didn't number it.
262 \begin_layout Criterion
266 \begin_layout Algorithm
267 first this, then the next
275 Bald statement of fact.
276 Unnumbered environments are often used for emphasis, or in a short presentation
277 that doesn't require numbered results.
285 \begin_layout Definition
286 a word means exactly what I say it means.
289 \begin_layout Definition*
293 \begin_layout Standard
307 \begin_layout Example
308 This should be an example.
311 \begin_layout Standard
328 \begin_layout Condition
332 \begin_layout Problem
333 I don't know what to write is the problem.
337 I think this will be useful.
341 I did it the way the documentation said to.
345 It may need more work yet.
348 \begin_layout Standard
349 More plain text, in standard format.
352 \begin_layout Theorem
353 This is a second numbered theorem
360 \begin_layout Standard
364 \begin_layout Corollary
376 \begin_layout Proposition
380 \begin_layout Conjecture
384 \begin_layout Criterion
388 \begin_layout Notation
389 \begin_inset Formula $S=\mathbb{R}$
395 \begin_layout Summary
396 In the end, will it matter?
399 \begin_layout Acknowledgement
400 Thanks to Mattias Ettrich.
401 Without him I never would have learned LaTeX.
405 If this works, then the rest will.
408 \begin_layout Conclusion
413 Here goes another proof.
416 \begin_layout Standard
420 \begin_layout Section
424 \begin_layout Standard
425 This tries out the section environments.
428 \begin_layout Theorem
436 \begin_layout Standard
440 \begin_layout Corollary
442 First one of this section.
453 \begin_layout Proposition
457 \begin_layout Conjecture
461 \begin_layout Criterion
465 \begin_layout Subsection
469 \begin_layout Standard
470 With more results therein.
473 \begin_layout Theorem
474 This is a theorem, maybe the fourth one.
481 \begin_layout Standard
485 \begin_layout Corollary
497 \begin_layout Proposition
501 \begin_layout Conjecture
505 \begin_layout Criterion
509 \begin_layout Standard
513 \begin_layout Theorem
521 \begin_layout Standard
526 I believe this is true.
537 \begin_layout Proposition
541 \begin_layout Conjecture
545 \begin_layout Criterion
549 \begin_layout Subsubsection
550 This is the subsection with results.
553 \begin_layout Standard
554 The quick, brown fox jumped over the lazy dog.
557 \begin_layout Theorem
558 This is a theorem - sixth in the series
565 \begin_layout Standard
569 \begin_layout Corollary
581 \begin_layout Proposition
585 \begin_layout Conjecture
589 \begin_layout Criterion
593 \begin_layout Bibliography
594 \begin_inset CommandInset bibitem
607 \begin_layout Bibliography
608 \begin_inset CommandInset bibitem
614 American Mathematical Society,
616 Instructions for preparation of papers and monographs: AMS-LaTeX
621 \begin_layout Bibliography
622 \begin_inset CommandInset bibitem
628 American Mathematical Society,