Окружения definition и т.д. в обоих файлах в преамбуле определены?
Стилевики к ним одинаковые и одни и те же цепляются?
Да, все файлы в одной папке. В обоих главных файлах есть:
\newtheorem{theorem}{Теорема}
\newtheorem{proposition}{Предложение}
\newtheorem{lemma}{Лемма}
\newtheorem{corollary}{Следствие}
\newtheorem{notation}{Обозначения}
\newtheorem{definition}{Определение}
\theoremstyle{definition}
\newtheorem{proof}{Доказательство}\def\theproof{}
\newtheorem{remark}{Замечание}
-- 29.04.2020, 19:18 --Зато только сейчас обратила внимание на комментарий в шапке
% Уважаемые Авторы!
%Для подготовки pdf-файлы Вашей работы необходимо
%запускать компиляцию с помощью команды latex
%(в программе WinEdt это делается нажатием
%клавиш Shift + Ctrl + L), после этого нужно
%из получившегося dvi файла сделать pdf
%с помощью команды dvi2pdf (в программе WinEdt для
%этого есть специальная кнопка в верхней панели).
%Не нужно использовать команду pdflatex,
%так как она препятствует команде \mag,
%которая производит увеличение страниц
%статьи для удобства редактирования.
%Просим не использовать в тексте рукописи
%нестандартные макроопределения.