فایل ۱ را براتون درست کردم.
فقط کافی بود قبل \begin{document} خط زیر را بذارین.
\usepackage{amsmath}
یک خطایی هم فایل‌تون داشت. مربوط به این قسمت بود:
\begin{align}
A&=\frac{2|B|+1-k_1}{3}=
\frac{2(c+\ldots+3d-(k_1-1))+1-k_1}{3}\nonumber\\ &= 2\sum_{i=1}^{k_1} r_{i}- k_{1}+1\nonumber.
\end{align}}
همانطور که می‌بینین، یک آکولاد اضافی بعد \end{align} دارین. من حذفش کردم.
خطای فایل ۲:
مربوط به این میشه که شما بسته amsthm رو فراخوانی کردین. در صورتی که توی تمپلیت دوم شما دستور محبط proofش توسط دستور یا بسته‌ای دیگه داره دوباره تعریف میشه. بسته amsmath را که اضافه کردین را حذف کنین.
