\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage{setspace,amsmath}
\usepackage{amssymb}
\begin{document}
\textbf{Теорема 2.4} \;\; \large Обобщённый алгоритм Евклида
\\\\
\normalsize ВХОД: \;\;\; Положительные целые числа $a,b, a \geq b$.
\\
ВЫХОД: \;\; $gcd(a, b), x, y$ Удовлетворяющие условию теоремы 2.9).
\begin{enumerate}
\item $U \leftarrow (a,1,0), V \leftarrow (b,0,1)$.
\item WHILE $\; v_1\ne0\; DO$
\item $\;\;\;\;\;\;\; q\; \leftarrow u_1\,div\,v_1\,$;