#LyX file created by tex2lyx 2.4
-\lyxformat 571
+\lyxformat 573
\begin_document
\begin_header
\save_transient_properties true
The proof is recognized as a builtin style provided by the text class.
\end_layout
-\begin_layout Standard
-
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-\backslash
-begin{lem}
-\end_layout
-
-\end_inset
-
- this is a lemma
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-\backslash
-end{lem}
-\end_layout
-
-\end_inset
-
-
+\begin_layout Lemma
+this is a lemma
\end_layout
\begin_layout Theorem