‎\documentclass{article}‎
‎\usepackage[a4paper]{geometry}‎
‎\usepackage{graphicx}‎
‎\usepackage{algorithm}‎
‎\usepackage{algorithmic}‎
‎\usepackage{amsthm,amssymb,amsmath}‎
‎\theoremstyle{plain}‎
‎\newtheorem{theorem}{قضیه}‎
‎\newtheorem{lemma}{لم}‎
‎\newtheorem{proposition}{گزاره}‎
‎\theoremstyle{definition}‎
‎\newtheorem{definition}{تعریف}‎
‎\newtheorem{example}{مثال}‎
‎\newtheorem{prob}{سوال}‎
‎\theoremstyle{remark}‎
‎\newtheorem{corollary}{نتیجه}‎
‎\newtheorem{remark}{ملاحظه}‎
‎\begin{document}
\section{S1}‎
\section{S2}‎
\section{S3}‎
‎\begin{theorem}
Assume tha‏t ‎${x^{(k)}‎(t)}‏$‎ ‎are solution sequences of (\ref{F10}) and (‎\ref{F11}‎), respectively. Then, ‎$‎{x^{(k)}(t)}‎$‎ and ‎$‎{u^{(k)}(t)}‎$‎‎ ‎‎‎converge uniformly to the optimal state trajectory ‎$‎‎‎x^*(t)‎$‎ and the optimal control law ‎$‎u^*(t)‎$‎ for the systems (‎\ref{E1}‎) and (‎\ref{E2}‎) with respect to the quadratic cost functional (‎\ref{E4}‎), respectively.‎
\end{theorem}‎
\end{document}