\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]{HM XZar}
\setromantextfont[Scale=1.1]{Times New Roman}
\setlatintextfont[Scale=1.1]{Times New Roman}
\setdigitfont[Scale=1.1]{HM XZar}

\defpersianfont\titr[Scale=1.1]{HM XZar}
%%%%%%%%%%%%%%%%%%%
\def\theoremname{قضیه}
%%%%%%%%%%%%%%%%%%%%%%%%
\newtheorem{theorem}{\theoremname}[chapter]
%%%%%%%%%%%%%%%%%%%%%%%%
\numberwithin{theorem}{chapter} 
\numberwithin{figure}{chapter} 
\renewcommand*{\theequation}{\arabic{equation}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcount\mydigits
\XeTeXinterchartokenstate=1
\newXeTeXintercharclass\mydigitscharclass
\newXeTeXintercharclass\mydotcharclass
\XeTeXcharclass `\. \mydotcharclass
\mydigits=`\0 \loop \XeTeXcharclass \mydigits \mydigitscharclass \ifnum\mydigits<`\9 \advance\mydigits by 1 \repeat
\XeTeXinterchartoks \mydigitscharclass  \mydotcharclass = {‏}
\XeTeXinterchartoks \mydotcharclass  \mydigitscharclass = {‏} 

\begin{document}


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

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

(ب) اگر $ A $ دارای همانی تقریبی کراندار چپ برای $ X $ باشد، آنگاه $ A\cdot X=X $.
\end{theorem}

حال بنابر لم 2.1 داریم ...

از گزاره 3.4 نتیجه می‌شود ...

از قضیه‌ی \ref{t1} داریم ...


\end{document}