Overleaf编译出现的问题

1. Latex Error: Command \proof already defined.

解决办法是插入以下代码：

\let\proof\relax
\let\endproof\relax
\usepackage{amsthm}

**不清楚什么原因，可能是和哪个package顺序写错了？