%\spnewtheorem{thm}{Theorem}[section]{\bfseries}{\itshape}
\spnewtheorem{thm}[theorem]{Theorem}{\bfseries}{\itshape}
\spnewtheorem{cor}[theorem]{Corollary}{\bfseries}{\itshape}
\spnewtheorem{cnj}[theorem]{Conjecture}{\bfseries}{\itshape}
\spnewtheorem{lem}[theorem]{Lemma}{\bfseries}{\itshape}
\spnewtheorem{lemdefn}[theorem]{Lemma and Definition}{\bfseries}{\itshape}
\spnewtheorem{prop}[theorem]{Proposition}{\bfseries}{\itshape}
\spnewtheorem{defn}[theorem]{Definition}{\bfseries}{\upshape}
\spnewtheorem{rem}[theorem]{Remark}{\bfseries}{\upshape}
\spnewtheorem{notation}[theorem]{Notation}{\bfseries}{\upshape}
\spnewtheorem{expl}[theorem]{Example}{\bfseries}{\upshape}
\spnewtheorem{thmdefn}[theorem]{Theorem and Definition}{\bfseries}{\itshape}
\spnewtheorem{propdefn}[theorem]{Proposition and Definition}{\bfseries}{\itshape}
\spnewtheorem{assumption}[theorem]{Assumption}{\bfseries}{\upshape}
\spnewtheorem{algorithm}[theorem]{Algorithm}{\bfseries}{\upshape}

 \renewenvironment{theorem}{\begin{thm}}{\end{thm}}
 \renewenvironment{corollary}{\begin{cor}}{\end{cor}}
 \renewenvironment{lemma}{\begin{lem}}{\end{lem}}
 \renewenvironment{proposition}{\begin{prop}}{\end{prop}}
 \renewenvironment{definition}{\begin{defn}}{\end{defn}}
 \renewenvironment{remark}{\begin{rem}}{\end{rem}}
 \renewenvironment{example}{\begin{expl}}{\end{expl}}