%%%%%%%%%%
% DEPENDENCIES 
% RequiredMacros: \DeclareMathOperator{\syl}{Syl} 
%%%%%%%%%%
\begin{theorem}
Type the theorem using LaTeX syntax.
\end{theorem}