LuaTeX (luabidi, for that matter) does not work well.
Also set some command texts in ERT, for readability.
\use_microtype false
\use_dash_ligatures false
\graphics default
\use_microtype false
\use_dash_ligatures false
\graphics default
-\default_output_format default
+\default_output_format pdf4
\output_sync 0
\bibtex_command default
\index_command default
\output_sync 0
\bibtex_command default
\index_command default
+\float_placement class
+\float_alignment class
\paperfontsize default
\spacing single
\use_hyperref false
\paperfontsize default
\spacing single
\use_hyperref false
\begin_deeper
\begin_layout Column
\begin_deeper
\begin_layout Column
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+\end_inset
+
+
+\end_layout
+
\begin_layout Theorem
\begin_inset Argument 1
status open
\begin_layout Theorem
\begin_inset Argument 1
status open
\end_layout
\begin_layout Column
\end_layout
\begin_layout Column
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+\end_inset
+
+
+\end_layout
+
\begin_layout Corollary
\begin_inset Argument 1
status open
\begin_layout Corollary
\begin_inset Argument 1
status open
\end_layout
\begin_layout Standard
\end_layout
\begin_layout Standard
\begin_inset Note Note
status open
\begin_inset Note Note
status open