+%% LyX 1.6.1 created this file. For more info, see http://www.lyx.org/.
+%% Do not edit unless you really know what you are doing.
\documentclass[oneside,english]{amsart}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\usepackage{amsthm}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
\numberwithin{equation}{section} %% Comment out for sequentially-numbered
\numberwithin{figure}{section} %% Comment out for sequentially-numbered
\providecommand{\theoremname}{Theorem}
\theoremstyle{plain}
-\newtheorem{thm}{\protect\theoremname}
\theoremstyle{plain}
-\newtheorem{lem}[thm]{Lemma}
+\newtheorem{thm}{\protect\theoremname}
+ \theoremstyle{plain}
+ \newtheorem{lem}[thm]{Lemma}
\usepackage{babel}