\renewcommand{\sectiontype}{\normalsize\bf}
\renewcommand{\subsectiontype}{\normalsize\bf}
\renewcommand{\subsubsectiontype}{\normalsize\bf}
\renewcommand{\figuretype}{Figure}

\setlength{\topmargin}{0in}     % top of paper to head (less one inch)
\setlength{\headheight}{0in}    % height of the head
\setlength{\headsep}{0in}       % head to the top of the body
\setlength{\textheight}{8.75in} % height of the body
%\setlength{\textheight}{9in} % height of the body
\setlength{\oddsidemargin}{0mm} % left edge of paper to body (less one inch)
\setlength{\evensidemargin}{0mm} % ditto, even pages
\setlength{\textwidth}{6.5in}   % width of body
\setlength{\topskip}{0in}       % top of body to bottom of first line of text
% \setlength{\footheight}{0.25in} % height of footer
% \setlength{\footskip}{0.50in}   % bottom of text to bottom of foot

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}
\newtheorem{lemma}{Lemma}
\newtheorem{observation}{Observation}
\newtheorem{definition}{Definition}
\newtheorem{fact}{Fact}
\newcommand{\proof}{\vspace*{-1ex} \noindent {\bf Proof: }}
\newcommand{\proofsketch}{\vspace*{-1ex} \noindent {\bf Proof Sketch: }}
\newcommand{\qed}{\hfill\rule{2mm}{2mm}}
\newcommand{\ceiling}[1]{{\left\lceil{#1}\right\rceil}}
\newcommand{\floor}[1]{{\left\lfloor{#1}\right\rfloor}}
\newcommand{\paren}[1]{\left({#1}\right)}
\newcommand{\braces}[1]{\left\{{#1}\right\}}
\newcommand{\brackets}[1]{\left[{#1}\right]}
\newcommand{\Prob}{{\rm Prob}}
\newcommand{\prob}{{\rm Prob}}

\newcommand{\header}[5]{
   \pagestyle{plain}
   \noindent
   \begin{center}
   \framebox{
      \vbox{
    \hbox to 6.28in { {\bf #4 
\hfill #5} }
       \vspace{4mm}
       \hbox to 6.28in { {\Large \hfill #1 \hfill} }
       \vspace{4mm}
    \hbox to 6.28in { {\sl #2 \hfill #3} }
      }
   }

   \end{center}
   \vspace*{4mm}
}
