\documentclass{article}
\usepackage{amsmath, amsthm, amscd, amsfonts}
\usepackage{amssymb}
\usepackage[colorlinks]{hyperref}
%\usepackage{pict2e}
\usepackage{multirow,booktabs,colortbl,tabularx} 
\usepackage{caption}
\usepackage{float}
%\usepackage[top=4cm, bottom=2.5cm, left=2cm, right=3cm]{geometry}
%\usepackage{tocbibind}
\usepackage[colorlinks,linkcolor=blue,citecolor=magenta]{hyperref}
%\usepackage{hyperref}
%\usepackage{pifont}
\usepackage{xepersian}
\settextfont{Yas}[Scale=1.1]
\setdigitfont{Yas}
\newtheorem{theorem}{قضیه}[section]
\newtheorem{lemma}[theorem]{لم}
\newtheorem{proposition}[theorem]{گزاره}
\newtheorem{corollary}[theorem]{نتیجه}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{تعریف}
\newtheorem{example}[theorem]{مثال}
\newtheorem{xca}[theorem]{تمرین}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{نکته}
\numberwithin{equation}{section}

\begin{document}
\begin{lemma}
فرض کنید
$ S \ne \emptyset, \phi, \psi, \alpha, \beta, \gamma$
یک تکواره  باشد،
 $A = \langle a_1, a_2, \dots ,a_n \rangle$
و
   $.B = \langle b_1, b_2,\dots , b-n \rangle$ 
اگر
  $f: B \rightarrow A$،
یک بروریختی هم‌اساسی باشد، آنگاه
  $ u_i \in S$
چنان موجود است که
 $g : B^{\prime} \rightarrow B$
 با ضابطه
 $ b_i^{\prime}s \mapsto b_iu_is$
 یکریختی است که در آن
$B^{\prime} = \langle b_1^{\prime} , b_2^{\prime} , \dots , b_n^{\prime} \rangle$
و
 $f^{\prime}: B^{\prime} \rightarrow A$
با ضابطه
  $f (b_i^{\prime}s) = a_is$،
  $-S$بروریختی
   هم‌اساسی است. به‌ویژه،
$.r(b_i^{\prime}, b^{\prime}_p) \subseteq r(a_i, a_p)$
\end{lemma}

\end{document}