\documentclass[a4paper]{report}
\usepackage{graphicx}
\usepackage{booktabs}

\usepackage{amsmath}   % From the American Mathematical Society
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{amstext}
\usepackage{amscd}
\usepackage{amsopn}
\usepackage{amsthm}
\usepackage{amsfonts}



\usepackage{xecolour}
\usepackage{xepersian}
\settextfont[Scale=1]{XB Zar} 
\setlatintextfont{Times New Roman}
\setdigitfont[Scale=1]{XB Zar}

\renewcommand{\baselinestretch}{2.1}


% تعریف و نحوه ظاهر شدن قضایا، لم‌ها، تعریف‌ها و ...
\theoremstyle{definition}
\newtheorem{definition}{تعریف}[section]
\newtheorem{proposition}[definition]{گزاره}
\theoremstyle{theorem}
\newtheorem{theorem}{قضیه}[section]
\newtheorem{lemma}{لم}[section]
\newtheorem{corollary}{نتیجه}[section]
\newtheorem{remark}{ملاحظه}[section]
\theoremstyle{definition}
\newtheorem{example}{مثال}[section]


\begin{document}


\chapter{تست}
\section{تست تست}

\begin{theorem}\label{th:List}
در الگوریتم دکدینگ  اندازه لیست ها برابر $m - 1$ می باشد.
\begin{equation}
|L| \leq |\mathcal{A}| - 1  
\end{equation}
\end{theorem}
\begin{corollary}
هیچ نشانگری به برگ ها اشاره نمی کند.
\end{corollary}
\begin{definition}
هیچ نشانگری به برگ ها اشاره نمی کند.
\end{definition}

\begin{proposition}
هیچ نشانگری به برگ ها اشاره نمی کند.
\end{proposition}

\begin{theorem}
هیچ نشانگری به برگ ها اشاره نمی کند.
\end{theorem}
\end{document}