\documentclass {article}
\usepackage{tabularx}
\usepackage[T2A]{fontenc}
\usepackage[english,russian]{babel}
\usepackage{amsmath}
\usepackage {caption}
\usepackage{amsmath}
\usepackage [thmmarks, amsmath] {ntheorem} 
\usepackage {amssymb}

\usepackage{commath}
\usepackage{mathtools}
\usepackage{dsfont}
\usepackage[10pt]{extsizes}
\usepackage {multirow}
\usepackage{listings}
\usepackage {algorithm2e}
\usepackage {ntheorem}

\usepackage{xcolor}
\usepackage {geometry}
\usepackage{float}
\usepackage {multirow}
\usepackage{ltablex}
\usepackage{longtable}
\usepackage {tabularx}
\usepackage {booktabs}


\geometry{verbose,a4paper,lmargin=4cm,rmargin=4cm}
\usepackage [unicode=true,bookmarksopen=true,colorlinks=true]{hyperref}
\hypersetup{linkcolor=blue,citecolor=blue,urlcolor=blue}
\definecolor{codegreen}{rgb}{0,0.6,0}
\definecolor{codegray}{rgb}{0.5,0.5,0.5}
\definecolor{codepurple}{rgb}{0.58,0,0.82}
\definecolor{backcolour}{rgb}{1.0,0.98,0.83}
\captionsetup[table]{skip=1pt}
\newcolumntype{Y}{>{\centering\arraybackslash}X}
\newcolumntype{Z}{>{\raggedleft\arraybackslash}X}

\begin{document}
	\section{Свойства целых чисел}
	\theoremstyle {nonumberbreak} 
	\theoremseparator{:}
	\theoremsymbol{\ensuremath{\triangle}}
	\newtheorem {definition} {Определения (общий делитель)}
	\begin{definition}
		\label{pg3}
		\begin{itemize}
			\item \emph {Для} a,b $\in \mathbb{Z}$ \emph {будем называть} d $\in \mathbb{Z}$ общим делителем a \emph {и} b, \emph {если} d $\mid$ a \emph {и} d $\mid$ b.
			\item \emph {Более того, будем называть это} d наибольшим общим делителем a \emph {и} b, \emph {если} d $\ge$ 0, \emph {и все остальные \hyperref[pg3]{общие делители}} a \emph {и} b \emph {делят} d.
		\end{itemize}
	\end{definition}
	\theoremstyle {nonumberplain} 
	\theoremseparator{.}
	\theoremsymbol{\ensuremath{\diamondsuit}}
	\newtheorem {definition1} {Теорема 1 (см. V.Shoup)}
	\begin{definition1}
		\label{pg4}
		 $\forall a,b$ $\in$ $\mathbb{Z}$ существует единственный наибольший общий делитель d чисел a и b, и более того, $a \mathbb + b \mathbb{Z} = d \mathbb{Z}$.
	\end{definition1}
	
\end {document}