\documentclass[12pt,a4paper]{article}
\usepackage{amsthm,amssymb,amsmath}
\usepackage[pagebackref=true,colorlinks,linkcolor=blue,citecolor=magenta]{hyperref}
\usepackage{xepersian}
\settextfont[Scale=1.2]{XB Niloofar}
\setlatintextfont[ExternalLocation,BoldFont={lmroman10-bold},BoldItalicFont={lmroman10-bolditalic},ItalicFont={lmroman10-italic}]{lmroman10-regular}
%\defpersianfont\titr[Scale=1]{XB Titre}
%\defpersianfont\nastaliq[Scale=1.5]{IranNastaliq}
%\defpersianfont\traffic[Scale=1]{B Traffic}
\theoremstyle{definition}
\newtheorem{definition}{تعریف}[section]
\theoremstyle{theorem}
\newtheorem{theorem}[definition]{قضیه}
\newtheorem{example}[definition]{مثال}
\newcommand{\bt}{\begin{theorem}}
\newcommand{\et}{\end{theorem}}
\newcommand{\bd}{\begin{definition}}
\newcommand{\ed}{\end{definition}}
\begin{document}

\section{بخش اول }
\bd\label{d1} 
فرض کنید $X$ و $Y$ دو فضای باناخ باشند و $U$ گوی یکه باز در $X$ باشد. گوییم نگاشت خطی $T:X\rightarrow Y$ فشرده است، هرگاه بست $T(U)$ در $Y$ فشرده باشد. 
\ed
\bt\label{th1} 
 فرض کنید   $L^{pq}(\mu)$ یک فضای لورنتس باشد.
 \et
حال با هم به قضیه و مثال بالا ارجاع می‌دهیم 
اگر قضیه \ref{th1}
و مثال
\ref{d1}
 برقرار باشند.

 \end{document}