\documentclass[a4paper,10pt]{article}
\usepackage{amsmath,amssymb,amsfonts,amsthm,enumerate,latexsym}
\usepackage[cp866]{inputenc}
\usepackage[russian]{babel}
\DeclareMathOperator{\diag}{diag}
\newtheorem{Theorem}{Теорема}
\newtheorem{Corollary}{Следствие}
\newtheorem{Lemma}{Лемма}
\usepackage{indentfirst}

\newcommand{\ttl}[1]{\begin{center}{\large\bf {#1}}\end{center}}
\newcommand{\authors}[2]{\begin{center}{\bf #1}\\{#2}\end{center}}
\newcommand{\bib}{

\medskip

\noindent\textbf{Список литературы}
}

\begin{document}

\ttl{О малой теореме Ферма}
%Авторы, работающие в одном месте
\authors{Иванов Иван Иванович, Петров Петр Петрович}{Сибирский федеральный университет, Красноярск}
%Авторы, работающие в другом месте
\authors{Николаев Николай Николаевич}{Институт математики СО РАН, Новосибирск}
%...

Доказательство теоремы Ферма можно найти в статье Эйлера [1].
%
\begin{Theorem}
Если $p$ --- простое число, то для любого целого числа $a$, взаимно простого с $p$, выполняется
\begin{equation}\label{fermat}
a^{p-1}\equiv 1\mod p.
\end{equation}
\end{Theorem}
%
Считается, что частный случай $a=2$ теоремы 1 был известен китайским математикам ещё 2000 годами ранее.


\bib

\begin{enumerate}
 \item Euler, L.  Theorematum Quorundam ad Numeros Primos Spectantium Demonstratio // Commentarii academiae scientiarum Petropolitanae. 1736. Vol. 8, P. 141-146.
\end{enumerate}

\end{document}
