\documentclass[11pt]{article}

\usepackage{graphicx}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{latexsym}
\usepackage{longtable}
\usepackage{docmute}
\usepackage[utf8]{inputenc}
\usepackage[T2A]{fontenc}
\usepackage[english,russian]{babel}
\usepackage{misccorr}
\usepackage[a4paper]{geometry}
\usepackage{amsbib}
\usepackage{tikz}
\usepackage{subfigure}
\usepackage{algpseudocode}
\usepackage[section]{algorithm}
\usepackage{pgfplots}
\usepackage[T1]{fontenc}

\renewcommand\bibname{Reference}

\newcommand{\SEQ}[2]{\mbox{$ #1 \Rightarrow #2 $}}
%%
\newcommand{\PROOF}{\mbox{\em Proof.}\ \ }
\newcommand{\QED}{\hfill \rule{1ex}{1em}}
%%
%%
\newtheorem{prop}{Proposition}
\newtheorem{thm}{Theorem}
\newtheorem{lm}{Lemma}
\newtheorem{cor}{Corrolary}
\newtheorem{df}{Definition}
\newtheorem{eg}{Example}
\newtheorem{con}{Conjecture}
\newtheorem{obs}{Observation}
\newtheorem{rem}{Remark}
%%
\newcommand{\m}{{[}m{]}}
\newcommand{\n}{{[}n{]}}
%%
\newcommand{\PH}{\mbox{\it $\Phi$}}
\newcommand{\PS}{\mbox{\it $\Psi$}}
\newcommand{\OM}{\mbox{\it $\Omega$}}
%%
\newcommand{\ra}{\rightarrow}
\newcommand{\NEG}{\mbox{$\sim$}}
\newcommand{\I}{\mbox{$\to$}}
%%
\newcommand{\GA}{\mbox{\it $\Gamma$}}
\newcommand{\DE}{\mbox{\it $\Delta$}}
\newcommand{\SI}{\mbox{\it $\Sigma$}}
\newcommand{\PI}{\mbox{\it $\Pi$}}
\newcommand{\LA}{\mbox{\it $\Lambda$}}



\geometry{
    layoutheight = 241mm,
    layoutwidth = 171mm,
    layouthoffset = 19.5mm,
    layoutvoffset = 28mm,
    inner = 22mm,
    outer = 22mm,
    top = 18mm,
    bottom = 21mm,
    showcrop
}
\pagenumbering{gobble}
\newtheorem{theorem}{Theorem}
\newtheorem{sled}{Corollary}
\newtheorem{lemma}{Lemma}
\usetikzlibrary{positioning, arrows.meta}
\pgfplotsset{compat = 1.9}
\usepackage{proof}
\usepackage[nottoc]{tocbibind}
