Latex中定理、引理、证明、假设

引理

\newtheorem{lemma}{Lemma}[section]
\begin{lemma} \label{lemma1}

\end{lemma}

编译效果：

定理

\newtheorem{thm}{\bf Theorem}[section]
\begin{thm}\label{thm1}
Suppose system (\ref{l1}) satisfies Assumption (\ref{mim1}), the closed-loop system consisting of
system (\ref{l1}), the disturbance observer (\ref{g1}) and the proposed controller (\ref{n3}) is semi-globally ISS.
\end{thm} 

编译效果：

证明

\begin{proof}
***
\end{proof}

编译效果：

假设

\newtheorem{assumption}{Assumption}[section]
\begin{assumption}
***
\end{assumption}

tex中实现空白行

\viskp\baselineskip 
\viskp\baselineskip 
\viskp\baselineskip 

空出三行的距离