\documentclass[a4paper]{book}
\usepackage{amsthm,amssymb,mathrsfs}
\usepackage{amsmath}
\usepackage{mathtools}
\usepackage{mathrsfs}
\usepackage{xepersian}
\settextfont[Scale=1.17]{B Nazanin}
\setdigitfont[Scale=1.17]{PGaramond}
\newtheorem{definition}{تعریف}
\swapnumbers\theoremstyle{theorem}
\swapnumbers\newtheorem{thm}[definition]{قضیه}
\begin{document}
\begin{thm}
اگر
$f$
روی
$[0,\infty)$
قطعه‌ای پیوسته و از مرتبه‌ی نمایی
$\alpha$
باشد، آن‌گاه وقتی
$Re(s)\rightarrow \infty$,
\[F(s)=\mathscr{L}(f(t))\rightarrow 0\]
\end{thm}
\begin{proof}
می‌توان نوشت:
\[\lvert \int_0^{\infty} e^{-st}f(t)dt\rvert \leqslant\dfrac{M}{x-\alpha},\quad (Re(s)=x> \alpha).\]
اکنون با حدگیری
$x\rightarrow \infty$,
نتیجه حاصل می‌شود.
\end{proof}
\end{document}