Чтобы теорему можно было использовать окружение теоремы - в преамбулу - перед \begin{document} следует добавить команду вроде:
\newtheorem{theorem}{Theorem}
например: