\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]
%%%%%%%%%%%%%%%%%%%
\numberwithin{theorem}{chapter} 
\numberwithin{figure}{chapter} 
\renewcommand*{\theequation}{\arabic{equation}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\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}