\documentclass[12pt]{report}
\renewcommand{\baselinestretch}{1.5}
\usepackage[top=3cm, bottom=3cm, left=2.5cm, right=3cm]{geometry}
\usepackage{amsthm,amssymb,amsmath,mathabx,epsfig,amsfonts,amscd,mathrsfs,enumerate,latexsym}
%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{xepersian}
%  وقتی از MikTex2.8 یا MikTex2.9 یا TexLive استفاده می‌کنید سه دستور زیر فعال شوند
\let\Roman\latin   
\let\setromantextfont\setlatintextfont
\let\Footnote\LTRfootnote
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\settextfont[Scale=1.1]{XB Niloofar}
\setromantextfont[Scale=1.1]{Times New Roman}
\setlatintextfont[Scale=1.1]{Times New Roman}
\setdigitfont[Scale=1.1]{Yas}
\setdigitfont[Scale=1]{ParsiDigits}
\defpersianfont\titr[Scale=1.1]{XB Zar}
%%%%%%%%%%%%%%%%%%%
\def\theoremname{قضیه}
\newtheorem{theorem}{\theoremname}[chapter]
%%%%%%%%%%%%%%%%%%%
\renewcommand{\thetheorem}{\arabic{theorem}.\arabic{chapter}}
\renewcommand{\thefigure}{\arabic{figure}-\arabic{chapter}}
\renewcommand{\theequation}{\beginL\arabic{equation}\endL}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}


\begin{theorem}
تجزیه‌ی کوهن. فرض کنیم $ A $ یک جبر باناخ و $ X $ یک $ A $-‌مدول چپ باناخ باشد. در این صورت

(الف) اگر $ A $ دارای یک همانی تقریبی کراندار چپ باشد، آنگاه $ A\cdot X $ یک زیرفضای بسته از $ X $ است.

(ب) اگر $ A $ دارای همانی تقریبی کراندار چپ برای $ X $ باشد، آنگاه $ A\cdot X=X $.
\end{theorem}
\begin{theorem}
باناخ آلااغلو. .....
\end{theorem}
\begin{theorem}
ابرلین-اشمولین. فرض کنیم $ X $ یک فضای باناخ باشد. در این صورت برای زیرمجموعه‌ی $ K $ از $ X $ شرایط زیر هم‌ارزند.

(الف). بستار $ K $ تحت توپولوژی $ \sigma(X,X^*) $ فشرده است.

(ب). هر تور در $ K $ شامل یک زیرتور همگرا در توپولوژی $ \sigma(X,X^*) $ است.

(ج). هر تور در $ K $ دارای یک نقطه‌ی انباشتگی در توپولوژی $ \sigma(X,X^*) $ است.
\end{theorem}
\end{document}