\documentclass[12pt,a4paper]{book}
\usepackage{mathtools,amssymb}
\usepackage[total={13cm,22cm},centering,includehead=true]{geometry}
% بسته‌ و دستوراتی برای ایجاد لینک‌های رنگی با امکان جهش 
\usepackage{enumerate}
\usepackage{xepersian}


\newtheorem{theorem}{قضیه}[chapter]
\renewcommand{\baselinestretch}{1.3}

\newenvironment{myenumerate}{
  \begin{enumerate}[\normalfont a)]
  \setlength{\itemsep}{30pt}
  \setlength{\parskip}{9pt}
  \setlength{\parsep}{1pt}
}{
  \end{enumerate}
}

\begin{document}
\chapter{جبر برداری}
\begin{theorem}
هر پایه برای $\mathbb{R}^n$، ویژگیهای زیر را دارد:
\begin{myenumerate}
\item
هر پایه برای $\mathbb{R}^n$، دقیقاً شامل $n$ بردار است.
\item
هر مجموعه مستقل خطی از بردارها در $\mathbb{R}^n$، زیرمجموعه‌ای از یک پایه برای $\mathbb{R}^n$ است.
\item
هر مجموعه از $n$ بردار مستقل خطی در $\mathbb{R}^n$، یک پایه برای $\mathbb{R}^n$ است.
\end{myenumerate}
\end{theorem}
\end{document}