
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{6998-thm}
%\RequirePackage{fullpage,graphics,latexsym,url}
\RequirePackage{amsfonts,amsmath,amssymb,amstext,amsthm}

%%--Theorems-&-Definitions--------------------------------------------
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{remark}{Remark}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{observation}[theorem]{Observation}
\newtheorem{assumption}[theorem]{Assumption}
\newtheorem{example}[theorem]{Example}
\newenvironment{proofsketch}{\noindent \textbf{Proof sketch:}\nopagebreak[2]}{\hfill{$\qed$} \medskip}
%\newenvironment{proof}{\noindent {\em Proof.}}{\medskip}
\def\squareforqed{\hbox{\(\blacksquare\)}}
\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfill\penalty50\hskip1em\null\nobreak\hfil\squareforqed\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
