%% LyX 2.0.3 created this file.  For more info, see http://www.lyx.org/.
%% Do not edit unless you really know what you are doing.
\documentclass[english]{elsarticle}
\usepackage[T1]{fontenc}
\usepackage[latin9]{inputenc}
\usepackage{amsthm}
\usepackage{amsmath}

\makeatletter
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
  \theoremstyle{plain}
  \newtheorem{lem}{\protect\lemmaname}

\makeatother

\usepackage{babel}
  \providecommand{\lemmaname}{Lemma}

\begin{document}
The following Lemma can be deduced from classic control theory.
\begin{lem}
\label{lem:ARE_Q solution}Let $R$ and $S$ be positive semidefinite
matrices, then for arbitrary small $\epsilon$, the solutions of\end{lem}

\end{document}